Mathlib Changelog
v4
Changelog
About
Github
Theorem
Ioi_orderDual_def
Modification history
2024-11-11 17:57
Mathlib/Order/Interval/Finset/Defs.lean
feat: Incidence algebras (#8900) …
Added
Ioi_orderDual_def
View on Github →