Theorem Monoid.Coprod.inv_def

Modification history