Def bounded_linear_map_subspace

Modification history