Theorem ContinuousMapZero.mkD_eq_self

Modification history

2025-06-24 02:26

Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean

feat: small API lemma about ContinuousMap[Zero].mkD (#26250)

Added ContinuousMapZero.mkD_eq_self View on Github →