Theorem Monoid.Coprod.lift_comp_inr

Modification history