Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-13 17:57
67556a01
View on Github →
fix(Condensed): use
CompHausLike.const
instead of a private def (
#17409
)
Estimated changes
Modified
Mathlib/Condensed/Light/TopCatAdjunction.lean
Modified
Mathlib/Condensed/TopCatAdjunction.lean
modified
def
CondensedSet.toTopCat