Def CategoryTheory.MorphismProperty.ind

Modification history

2025-09-18 18:51

Mathlib/CategoryTheory/MorphismProperty/Ind.lean

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

Added CategoryTheory.MorphismProperty.ind View on Github →