Theorem NonUnitalSubalgebra.toNonUnitalSubsemiring_inj

Modification history