Theorem ContinuousMap.denseRange_tensorHom

Modification history

2026-06-25 07:54
Mathlib/Topology/UniformSpace/ProdApproximation.lean
chore: remove unused instances (#41013) …
Modified ContinuousMap.denseRange_tensorHomView on Github →
2026-05-04 20:38
Mathlib/Topology/UniformSpace/ProdApproximation.lean
feat(Mathlib/Topology): functional-analytic prereqs for PR 37984 (#38701) …
Added ContinuousMap.denseRange_tensorHomView on Github →