Theorem affineIndependent_def

Modification history