mathlib
6b5e48d7 - feat(data/finset/lattice): +2 induction principles for `finset`s (#6502)

Commit

4 years ago

feat(data/finset/lattice): +2 induction principles for `finset`s (#6502)

Author

urkud

urkud

Parents

Loading