Theorem Monoid.Coprod.inr_leftInverse

Modification history