Theorem NonUnitalSubalgebra.toNonUnitalSubring_inj

Modification history