Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.preimage_Iic

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