Commit 2020-03-31 00:17 c5181d11
View on Github →feat(*): more prod
-related (continuous) linear maps and their derivatives (#2277)
- feat(*): more
prod
-related (continuous) linear maps and their derivatives - Make
R
argument ofcontinuous_linear_equiv.refl
explicit