Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-06-03 22:11 dd832f03

View on Github →

feat(topology/basic): is_open_Inter and others (#1108)

Estimated changes

Modified src/topology/basic.lean

modified theorem is_closed_Union

added theorem is_closed_Union_prop

added theorem is_closed_bUnion

added theorem is_open_Inter

added theorem is_open_Inter_prop

Modified src/topology/uniform_space/cauchy.lean