Commit 2025-08-25 19:30 1dcc7221

View on Github →

chore(Order): remove unnecessary tactic invocations (#28746)

Estimated changes

modified theorem compl_ge
modified theorem compl_gt
modified theorem compl_le
modified theorem compl_lt