Theorem StarAlgEquiv.rightInverse_symm

Modification history