mathlib3
36818c39 - refactor(data/finset/pi): use `cons` in `pi.cons`

Commit

2 years ago

refactor(data/finset/pi): use `cons` in `pi.cons`

References

eric-wieser/finset-cons-not-insert

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading