mathlib
7daeaf30 - feat(nat/factorial): add double factorials (#18994)

Commit

2 years ago

feat(nat/factorial): add double factorials (#18994) Add double factorials.

Author

jakelev

jakelev

Parents

Loading