# 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 of`continuous_linear_equiv.refl`

explicit