Theorem StarAlgEquiv.leftInverse_symm

Modification history