Theorem Ring.toNonUnitalRing_injective

Modification history