Commit 2026-10-10 12:26 8f7d6e50

View on Github →

chore: more to_dual instances for Preorder (#44571) We tag the projections from Preorder with to_dual.

Estimated changes

deleted theorem ge_antisymm
deleted theorem ge_trans