Commit 2020-11-03 15:50 9851a886
View on Github →feat(*/multilinear): define (continuous_)multilinear_map.restrict_scalars
(#4872)
I'm going to use these definitions to prove
times_cont_diff_at.restrict_scalars
etc.
feat(*/multilinear): define (continuous_)multilinear_map.restrict_scalars
(#4872)
I'm going to use these definitions to prove
times_cont_diff_at.restrict_scalars
etc.