Skip to content

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean #180904

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean

Update Mathlib/CategoryTheory/ObjectProperty/Basic.lean #180904