Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-08-08 21:44
0271f812
View on Github →
feat(order/bounded_order): More
disjoint
lemmas (
#15304
)
Estimated changes
Modified
src/order/bounded_order.lean
added
theorem
codisjoint_left_comm
added
theorem
codisjoint_right_comm
added
theorem
disjoint.le_of_codisjoint
added
theorem
disjoint_left_comm
added
theorem
disjoint_right_comm