tests/elab/tabulate.lean.out.expected - 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)))))