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


            
            withLocationImplementationDetails.lean:5:28-7:25: error: unsolved goals

            
            h : B = 3

            
            ⊢ B = 3
	withLocationImplementationDetails.lean:5:28-7:25: error: unsolved goals
	h : B = 3
	⊢ B = 3