Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-15 13:33 13be74f7

View on Github →

feat(analysis/topology/topological_structure): ideal closure is ideal

Estimated changes

Modified analysis/topology/topological_structures.lean

added theorem is_ideal_iff

Modified data/set/basic.lean

added theorem set.image_subset_iff'