Def CategoryTheory.MorphismProperty.IsInvertedBy₃

Modification history

2025-01-20 13:12
Mathlib/CategoryTheory/Localization/Trifunctor.lean
feat(CategoryTheory): localization of trifunctors (#20788) …
Added CategoryTheory.MorphismProperty.IsInvertedBy₃View on Github →