Theorem StarSubalgebra.one_mem_toNonUnitalStarSubalgebra

Modification history