Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Adjunction.isLocalization'
Modification history
2025-12-11 07:09
Mathlib/CategoryTheory/Localization/Adjunction.lean
feat(CategoryTheory): right Bousfield localization (#32469) …
Added
CategoryTheory.Adjunction.isLocalization'
View on Github →