Commit 2022-08-07 23:17 05307825
View on Github →chore(order/well_founded): golf + rename variables (#15730) We rename some variables and hypotheses with very odd names, and golf a proof.
chore(order/well_founded): golf + rename variables (#15730) We rename some variables and hypotheses with very odd names, and golf a proof.