Theorem IsAzumaya.AlgHom.mulLeftRight_bij

Modification history