(1+it) doesn't work, > works correctly.
(1+it) doesn't work, > works correctly.

After some experimentation it turned out that (1+it) didn't work, not
>=. Will fix after the non-const column iterators(+ tests) are finished.

nsokolnikov/mathlib,nsokolnikov/mathlib