Def CommMon_.equiv_lax_braided_functor_punit.lax_braided_to_CommMon

Modification history