Theorem AffineIndependent.card_le_card_of_subset_affineSpan

Modification history