Zulip Chat Archive

Stream: PR reviews

Topic: Azumaya algebras #20489

Edison Xie (Jan 20 2025 at 14:06):

I think #20489 about the definition of Azumaya algebra is ready I'll appreciate if anyone is interested in giving a final review?

Yaël Dillies (Jan 20 2025 at 14:56):

(this belongs in #PR reviews)

Edison Xie (Jan 20 2025 at 15:30):

Yaël Dillies said:

(this belongs in #PR reviews)

Thanks for the notice do you mind moving it?

Notification Bot (Jan 20 2025 at 15:49):

This topic was moved here from #mathlib4 > Azumaya algebras by Johan Commelin.

Edison Xie (Jan 21 2025 at 07:10):

#20489

Johan Commelin (Jan 22 2025 at 07:03):

There was still an open comment.

Last updated: May 02 2025 at 03:31 UTC