chore(AlgebraicTopology/ExtraDegeneracy): use Matrix.vecCons (#24199) Cherry-picked from #24196
Matrix.vecCons