mathlib3
168ad7fc - feat(data/nat/cast): generalize to `fun_like` (#11128)

Commit

4 years ago

feat(data/nat/cast): generalize to `fun_like` (#11128)

Author

ericrbg

ericrbg

Parents

Loading