Theorem affineIndependent_iff_of_fintype

Modification history