Theorem IsAzumaya.of_AlgEquiv

Modification history