Theorem rank_span_le_of_finite

Modification history