Theorem CategoryTheory.MorphismProperty.of_eq

Modification history

2025-02-03 05:29
Mathlib/CategoryTheory/MorphismProperty/Basic.lean
feat(CategoryTheory): the class of morphisms given by a family of maps (#21354) …
Modified CategoryTheory.MorphismProperty.of_eqView on Github →
2024-12-20 13:13
Mathlib/CategoryTheory/MorphismProperty/Basic.lean
feat(CategoryTheory/MorphismProperty): classes of morphisms that are stable under transfinite compositions (#19306)
Added CategoryTheory.MorphismProperty.of_eqView on Github →