Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_closed_frontier

Modification history

2019-03-14 10:31

src/topology/basic.lean

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

Added is_closed_frontier View on Github →