Theorem MvFunctor.id_map

Modification history