Theorem AffineIndependent.card_lt_card_of_affineSpan_lt_affineSpan

Modification history