Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-04-01 10:46
8a51798c
View on Github →
chore(order/*): generalisation linter (
#13097
)
Estimated changes
Modified
src/data/set/intervals/basic.lean
Modified
src/order/bounded_order.lean
modified
theorem
with_top.coe_le_iff
modified
theorem
with_top.lt_iff_exists_coe
Modified
src/order/galois_connection.lean
modified
theorem
galois_coinsertion.strict_mono_l