Commit 2025-04-06 17:49 1acb3404
View on Github →chore(Order/Basic): order lemmas according to Preorder
/PartialOrder
/LinearOrder
(#23624)
This way, it is much easier to know where to add new lemmas.
chore(Order/Basic): order lemmas according to Preorder
/PartialOrder
/LinearOrder
(#23624)
This way, it is much easier to know where to add new lemmas.