Theorem Monoid.Coprod.lift_inr

Modification history