Theorem StarSubalgebra.toNonUnitalStarSubalgebra_toStarSubalgebra

Modification history