Mathlib v3 is deprecated. Go to Mathlib v4

Theorem interior_frontier

Modification history

2019-03-14 10:31

src/topology/basic.lean

feat(topology/metric_space/baire): Baire theorem (#816)

Added interior_frontier View on Github →