Theorem NonUnitalNonAssocSemiring.toDistrib_injective

Modification history