mathlib3
a8a47a60 - feat(set_theory/cardinal): add `cardinal.range_nat_cast` (#17222)

Commit

3 years ago

feat(set_theory/cardinal): add `cardinal.range_nat_cast` (#17222)

Author

urkud

urkud

Parents

Loading