Theorem CategoryTheory.MorphismProperty.isColocal_iff

Modification history

2025-12-11 07:09
Mathlib/CategoryTheory/ObjectProperty/Local.lean
feat(CategoryTheory): right Bousfield localization (#32469) …
Added CategoryTheory.MorphismProperty.isColocal_iffView on Github →