Theorem NonUnitalCommSemiring.toNonUnitalSemiring_injective

Modification history