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


            
            subset.lean:33:0-33:7: warning: declaration uses `sorry`

            
            subset.lean:37:0-37:7: warning: declaration uses `sorry`
	subset.lean:33:0-33:7: warning: declaration uses `sorry`
	subset.lean:37:0-37:7: warning: declaration uses `sorry`