Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.preimage_Ioc

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_IocView on Github →