Theorem Monoid.Coprod.clift_apply_mk

Modification history