Commit 2022-06-04 13:17 8ef2c02c
View on Github →chore(order/bounded_order): move order_dual instances up, use them to golf lemmas (#14544)
I only golf lemmas and Prop-valued instances to be sure that I don't add order_duals to the statements.