Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mem_interior

Modification history

2017-12-07 00:39

analysis/topology/topological_space.lean

refactor(*): remove local simp AC lemmas …

Added mem_interior View on Github →