Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.preimage_Ico

Modification history

2022-02-12 07:11
src/algebra/order/floor.lean
feat(topology/instances/real): metric space structure on nat (#11963) …
Added nat.preimage_IcoView on Github →