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


            
            2634.lean:5:2-5:31: error: simp made no progress

            
            hello