Theorem Monoid.Coprod.lift_apply_inr

Modification history