continuous_linear_map.finite_dimensional source