Commit 2026-01-21 08:59 f629ab02

View on Github →

chore(Order/Shrink): use to_dual (#34190)

Estimated changes

deleted theorem equivShrink_symm_top
deleted theorem equivShrink_top