mathlib
080362d0 - feat(data/finset/pi_induction): induction on `Π i, finset (α i)` (#8794)

Commit

4 years ago

feat(data/finset/pi_induction): induction on `Π i, finset (α i)` (#8794)

Author

urkud

urkud

Parents

Loading