Theorem StarRingEquiv.rightInverse_symm

Modification history