Theorem HasCompactMulSupport.is_one_at_infty

Modification history

2024-08-12 18:29

Mathlib/Topology/Support.lean

chore: move to v4.11.0-rc2 (new `variable` command) (#15726)

Modified HasCompactMulSupport.is_one_at_infty View on Github →

2024-06-18 12:22

Mathlib/Topology/Support.lean

feat(Topology/ContinuousFunction/CompactlySupported) bundle the class of compactly supported continuous functions (#12402) …

Modified HasCompactMulSupport.is_one_at_infty View on Github →

2023-02-24 13:10

Mathlib/Topology/UniformSpace/Compact.lean

feat: port Topology.UniformSpace.Compact (#2472)

Added HasCompactMulSupport.is_one_at_infty View on Github →