continuous_linear_map.complete_space source