Commit 2025-12-12 13:03 235f18cd

View on Github →

chore(Order/SetNotation): use to_dual (#32569) We opt to not dualize theorems on sets, and instead just dualize sSup and iSup.

Estimated changes

deleted def iInf