mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

[LFTCM] New lemmas about proper maps in Mathlib.Topology.ProperMap

Open EtienneC30 opened this issue 1 year ago • 0 comments
trafficstars

These are new lemmas added to the file about proper maps.

These modifications were done during the conference "Lean for the curious mathematician" 2024.

Open in Gitpod

EtienneC30 avatar Mar 28 '24 21:03 EtienneC30