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


            
            1074b.lean:10:30-10:31: error: unknown identifier 'z'

            
            1074b.lean:11:43-11:53: error: tactic 'assumption' failed

            
            a n z✝ : Term

            
            a✝ : Brx z✝

            
            ⊢ Brx sorry
	1074b.lean:10:30-10:31: error: unknown identifier 'z'
	1074b.lean:11:43-11:53: error: tactic 'assumption' failed
	a n z✝ : Term
	a✝ : Brx z✝
	⊢ Brx sorry