Theorem Basis.repr_support_subset_of_mem_span

Modification history