Def Mon_Type_equivalence_Mon.functor

Modification history