Theorem MvPFunctor.comp.get_map

Modification history