mathlib3
05307825 - chore(order/well_founded): golf + rename variables (#15730)

Commit

3 years ago

chore(order/well_founded): golf + rename variables (#15730) We rename some variables and hypotheses with very odd names, and golf a proof.

Author

vihdzp

Parents