basic): Finset subset induction (#5087)

Commit

5 years ago

feat(data/finset/basic): Finset subset induction (#5087) Induction on subsets of a given finset.

Author

tb65536

Parents