Theorem StarSubalgebra.toSubalgebra_subtype

Modification history