Theorem CommRing.toRing_injective

Modification history