Theorem Subalgebra.one_mem_toNonUnitalSubalgebra

Modification history