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


            
            19

            
            10

            
            31

            
            100