Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inducing.closure_eq_preimage_closure_image

Modification history

2021-02-21 18:45
src/topology/maps.lean
chore(topology/order): drop an unneeded argument (#6345) …
Added inducing.closure_eq_preimage_closure_imageView on Github →