Theorem affineIndependent_iff_indicator_eq_of_affineCombination_eq

Modification history