Commit 2023-03-29 23:55 3035dbfe

View on Github →

chore: drop 2 lemmas, update SHA (#3173) Forward-port leanprover-community/mathlib#18660.

Estimated changes

Modified Mathlib/Topology/Basic.lean

deleted theorem isClosed_unionᵢ_prop

deleted theorem isOpen_interᵢ_prop