refactor: rename WP.wpTrans to WP.trans and the wp_consequence family to wp_monotone - #15171

Merged

sgraf812 merged 8 commits into

sg/wp-trans-rename

Sep 18, 2026

Commits on Sep 15, 2026

refactor: rename `WP.wpTrans` to `WP.trans`
sgraf812
committed
ff4c66c

Commits on Sep 17, 2026

refactor: rename the `WP.wp_trans_monotone` field to `trans_monotone`
sgraf812
committed
1413bf0
refactor: rename the `wp_consequence` family to `wp_monotone` and add deprecations
sgraf812
committed
0f8b2d2
refactor: make the `WP.trans` rename backward compatible via dual fields
sgraf812
committed
f8205e7
refactor: make the data arguments of the `wp_monotone` lemmas implicit
sgraf812
committed
7c036ba

Commits on Sep 18, 2026