Theorem Monoid.Coprod.inr_injective

Modification history