Theorem StarSubalgebra.top_toSubalgebra

Modification history