Theorem StarSubalgebra.iInf_toSubalgebra

Modification history