Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.maps_to.closure

Modification history

2020-11-22 14:51

src/topology/basic.lean

chore(topology/basic): add `cluster_pt.map`, rename `mem_closure` (#5065) …

Added set.maps_to.closure View on Github →