finite): `nat.card_pi` (#16143)

Commit

3 years ago

feat(set_theory/cardinal/finite): `nat.card_pi` (#16143) This PR adds `nat.card_pi`. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>

Author

tb65536

Parents