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


            
            A : α

            
            id x✝ : α

            
            255.lean:16:7-16:8: error: unknown constant 'x✝'

            
            id (sorryAx ?m true) : ?m

            
            255.lean:20:9-20:10: error: unknown constant 'x✝'

            
            id (sorryAx ?m true) : ?m
	A : α
	id x✝ : α
	255.lean:16:7-16:8: error: unknown constant 'x✝'
	id (sorryAx ?m true) : ?m
	255.lean:20:9-20:10: error: unknown constant 'x✝'
	id (sorryAx ?m true) : ?m