∫ Утверждение Mathlib

toStrictlyUnitaryLaxFunctor_obj

Mathlib.CategoryTheory.Bicategory.Functor.StrictlyUnitary

URI: https://scilib.ai/kg/mathlib#CategoryTheory.StrictlyUnitaryPseudofunctor.toStrictlyUnitaryLaxFunctor_obj

← MathLib Explorer