Def CategoryTheory.MorphismProperty.over

Modification history

2025-09-18 18:51

Mathlib/CategoryTheory/MorphismProperty/Comma.lean

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

Added CategoryTheory.MorphismProperty.over View on Github →