Theorem Ring.toSemiring_injective

Modification history