Theorem StarSubalgebra.toSubalgebra_injective

Modification history