mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(Data/Multiset/Order): add Dershowitz-Manna Ordering and Theorem

Open haitian-yuki opened this issue 1 year ago • 2 comments

add Dershowitz-Manna Ordering and Theorem for Multisets

Co-authored-by: Malvin Gattinger [email protected]

https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Dershowitz-Manna.20Ordering.20theorem/near/434390710

Open in Gitpod

haitian-yuki avatar Jul 04 '24 15:07 haitian-yuki