Theorem StarAlgEquiv.to_ringEquiv_symm

Modification history