Theorem ContinuousLinearMap.continuous_of_continuous_uncurry

Modification history

2026-03-18 15:36
Mathlib/Topology/Algebra/Module/StrongTopology.lean
feat: ContinuousLinearMap.continuous_of_continuous_uncurry (#36776) …
Added ContinuousLinearMap.continuous_of_continuous_uncurryView on Github →