Theorem NonUnitalRing.toNonUnitalSemiring_injective

Modification history