Theorem StarSubalgebra.toSubalgebra_inj

Modification history