Theorem ZeroAtInftyContinuousMap.coe_mk

Modification history

2024-11-04 10:43

Mathlib/Topology/ContinuousMap/ZeroAtInfty.lean

feat(Topology/ContinuousMap/*): add some simp lemmas (#18326) …

Added ZeroAtInftyContinuousMap.coe_mk View on Github →