Theorem AffineMap.affineIndependent_iff

Modification history