Theorem AlgEquiv.toRingEquiv_symm

Modification history