Theorem rank_span_set

Modification history