Theorem Monoid.Coprod.clift_apply_inr

Modification history