Theorem Monoid.Coprod.inl_leftInverse

Modification history