Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-07-04 12:26
3306b397
View on Github →
style: add missing space (
#5711
)
Estimated changes
Modified
Mathlib/Logic/Equiv/Defs.lean
modified
def
EquivLike.toEquiv