Commit 2026-02-06 22:51 23f9fd8a
View on Github →chore(Order/Cover): use to_dual (#34880)
We add a lot of to_dual none tags, as a lot of the generated lemmas just swap the order of equalities, or other arguments inside quantifiers.
chore(Order/Cover): use to_dual (#34880)
We add a lot of to_dual none tags, as a lot of the generated lemmas just swap the order of equalities, or other arguments inside quantifiers.