Theorem Monoid.Coprod.lift_apply_mk

Modification history