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


            
            x : Int

            
            h : x = 2

            
            ⊢ Int.ofNat 2 = x