Theorem ZeroAtInftyContinuousMap.zeroAtInftyContinuousMapClass.ofCompact

Modification history

2024-02-05 18:00
Mathlib/Topology/ContinuousFunction/ZeroAtInfty.lean
refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …
Added ZeroAtInftyContinuousMap.zeroAtInftyContinuousMapClass.ofCompactView on Github →