Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-16 06:58 032e21de

View on Github →

feat(topological_structures): frontier_lt_subset_eq Based on a suggestion by Luca Gerolla

Estimated changes

Modified analysis/topology/topological_space.lean

added theorem frontier_compl

Modified analysis/topology/topological_structures.lean

added theorem frontier_lt_subset_eq