Def CommMon_Type_equivalence_CommMon.functor

Modification history