Mathlib v3 is deprecated. Go to Mathlib v4

Theorem closure_diff

Modification history

2020-06-29 19:03

src/topology/basic.lean

chore(*): change notation for `set.compl` (#3212) …

Modified closure_diff View on Github →

2017-09-06 19:31

topology/topological_space.lean

feat(topology): restructure order topologies; (start) proof that ennreal is a topological monoid

Modified closure_diff View on Github →

2017-08-10 16:36

topology/topological_space.lean

construct reals as complete, linear ordered field

Added closure_diff View on Github →