Finiteness properties of congruence classes of infinite-by-infinite matrices

We look at affine spaces of N×N matrices over a field K, and consider varieties that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these varieties is defined by finitely many equations.