Def continuous_linear_map.proj_ker_of_right_inverse

Modification history