Theorem CategoryTheory.Functor.op_iff

Modification history

2025-12-11 07:09
Mathlib/CategoryTheory/Localization/Opposite.lean
feat(CategoryTheory): right Bousfield localization (#32469) …
Deleted CategoryTheory.Functor.op_iffView on Github →
2025-07-03 11:52
Mathlib/CategoryTheory/Localization/Opposite.lean
feat(CategoryTheory/Localization): generalize results about adjunctions (#26365) …
Added CategoryTheory.Functor.op_iffView on Github →