Theorem affineIndependent_smul

Modification history