Theorem Monoid.Coprod.inl_injective

Modification history