mathlib3
d69cda1e - chore(order/well_founded_set): golf two proofs (#12529)

Commit

3 years ago

chore(order/well_founded_set): golf two proofs (#12529)

Author

eric-wieser

eric-wieser

Parents

Loading