Mathlib Changelog
v3
Changelog
About
Github
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