Theorem MvPFunctor.comp.mk_get

Modification history