Theorem ContinuousMap.mkD_eq_self

Modification history

2025-06-24 02:26

Mathlib/Topology/ContinuousMap/Basic.lean

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

Added ContinuousMap.mkD_eq_self View on Github →