mathlib
3353f661 - chore(*): golf using `acc_lift₂_iff` and `well_founded_lift₂_iff` (#18526)

Commit

2 years ago

chore(*): golf using `acc_lift₂_iff` and `well_founded_lift₂_iff` (#18526) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

astrainfinita

Parents