Theorem ContinuousMultilinearMap.continuous_eval
Modification history
2024-10-18 09:18
Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean
feat(Topology): define `ContinuousEval{,Const}` classes (#17319)
Deleted ContinuousMultilinearMap.continuous_evalView on Github →2024-10-04 14:05
Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean
chore(Analytic/CPolynomial): move&generalize some lemmas (#17390) …
Modified ContinuousMultilinearMap.continuous_evalView on Github →2024-07-02 02:03
Mathlib/Analysis/NormedSpace/Multilinear/Basic.lean
feat(UniformConvergenceTopology): prove generic `UniformOnFun.continuousOn_eval₂` (#13532) …
Modified ContinuousMultilinearMap.continuous_evalView on Github →