pi): pi singleton lemmas (#4558)

Commit

5 years ago

feat(data/finset/pi): pi singleton lemmas (#4558) Broken off from #4259. Two lemmas to reduce `finset.pi` on singletons.

References

Author

b-mehta

Parents