Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-08 13:44
49c10909
View on Github →
chore(Order/Interval/Finset/Defs): golf (
#12752
)
Estimated changes
Modified
Mathlib/Order/Interval/Finset/Defs.lean
modified
theorem
Icc_ofDual
modified
theorem
Icc_toDual
modified
theorem
Ico_ofDual
modified
theorem
Ico_toDual
modified
theorem
Ioc_ofDual
modified
theorem
Ioc_toDual
modified
theorem
Ioo_ofDual
modified
theorem
Ioo_toDual