Theorem AlgEquiv.symm_to_ringEquiv

Modification history