Def CategoryTheory.ObjectProperty.ind

Modification history

2025-09-18 18:51

Mathlib/CategoryTheory/ObjectProperty/Ind.lean

feat(CategoryTheory/MorphismProperty): define `ind P` (#29380) …

Added CategoryTheory.ObjectProperty.ind View on Github →