Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContinuousMultilinearMap.apply_zero_uncurry0
Modification history
2025-03-13 02:38
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
chore: whitespace again (#22878) …
Modified
ContinuousMultilinearMap.apply_zero_uncurry0
View on Github →
2024-09-15 13:34
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
fix: correct curry/uncurry confusion in (Continuous)MultilinearMap (#15530) …
Added
ContinuousMultilinearMap.apply_zero_uncurry0
View on Github →