Theorem affineSpan_pair_le_of_right_mem

Modification history