real): metric space structure on nat (#11963)

Commit

4 years ago

feat(topology/instances/real): metric space structure on nat (#11963) Mostly copied from the already existing int version.

Author

sgouezel

Parents