Def CategoryTheory.Equivalence.CommMon_.equivLaxBraidedFunctorPUnit

Modification history