Theorem NonUnitalCommRing.toNonUnitalRing_injective

Modification history