Mathlib v3 is deprecated. Go to Mathlib v4

Structure perfect

Modification history

2022-12-18 16:44

src/topology/perfect.lean

feat(topology): add basics of perfect sets (#17492) …

Added perfect View on Github →