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


            
            f : Nat → Nat

            
            x y z : Nat

            
            h : x = (fun x => x) y

            
            ⊢ f x = f y

            
            f : Nat → Nat

            
            x y z : Nat

            
            h : x = y

            
            ⊢ f x = f y
	f : Nat → Nat
	x y z : Nat
	h : x = (fun x => x) y
	⊢ f x = f y
	f : Nat → Nat
	x y z : Nat
	h : x = y
	⊢ f x = f y