tests/lean/tabulate.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


          
            
            Vector.cons 0 (Vector.cons 1 (Vector.cons 2 (Vector.cons 3 (Vector.cons 4 (Vector.nil)))))