Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.Sup_mem

Modification history

2022-06-24 19:24

src/data/nat/lattice.lean

feat(topology/metric_space): a countably generated uniformity is metrizable (#14052)

Added nat.Sup_mem View on Github →