Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-03-18 09:00
db6b41a0
View on Github →
doc(AlgebraicTopology/DoldKan): fix typos (
#36765
) Issues were spotted and fixed by Codex.
Estimated changes
Modified
Mathlib/AlgebraicTopology/DoldKan/Compatibility.lean
Modified
Mathlib/AlgebraicTopology/DoldKan/Equivalence.lean
Modified
Mathlib/AlgebraicTopology/DoldKan/EquivalencePseudoabelian.lean