Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-02-15 17:29
4fb466d6
View on Github →
fix: add two missing #aligns (
#2303
)
Estimated changes
Modified
Mathlib/CategoryTheory/Iso.lean
modified
theorem
CategoryTheory.Iso.nonempty_iso_refl