Theorem ContinuousMapZero.coe_mul

Modification history

2026-10-29 22:29

Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean

chore(Topology): use `IsApply` for `ContinuousMapZero` (#45292)

Deleted ContinuousMapZero.coe_mul View on Github →

2024-05-27 07:04

Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean

feat: uniform structure on ContinuousMapZero (#12992) …

Added ContinuousMapZero.coe_mul View on Github →