Commit 2023-04-30 12:24 4367b192
View on Github →feat(data/set/intervals/basic): generalize from linear_order
to preorder
(#18876)
The lemma statements are unchanged, but the proofs are rewritten
feat(data/set/intervals/basic): generalize from linear_order
to preorder
(#18876)
The lemma statements are unchanged, but the proofs are rewritten