Theorem span_lt_of_subset_of_card_lt_finrank

Modification history