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


            
            bintreeGoal.lean:53:4-53:18: warning: declaration uses 'sorry'

            
            bintreeGoal.lean:60:8-60:27: warning: declaration uses 'sorry'
	bintreeGoal.lean:53:4-53:18: warning: declaration uses 'sorry'
	bintreeGoal.lean:60:8-60:27: warning: declaration uses 'sorry'