Def CategoryTheory.Fork.IsLimit.regularMono

Modification history

2026-06-02 18:08
Mathlib/CategoryTheory/Limits/Shapes/RegularMono.lean
feat(CategoryTheory): define internal equivalence relations (#36541) …
Added CategoryTheory.Fork.IsLimit.regularMonoView on Github →