Theorem MvPFunctor.supp_eq

Modification history