Theorem sign_eq_of_affineCombination_mem_affineSpan_pair

Modification history