Theorem StarSubalgebra.mem_toSubalgebra

Modification history