Theorem AffineEquiv.affineIndependent_iff

Modification history