Def continuous_linear_map.range

Modification history