Theorem LinearIndepOn.mem_span_iff_id

Modification history