Theorem MvPFunctor.wp_ind

Modification history