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



            
            partialIssue.lean:12:8-12:19: error: (kernel) invalid declaration, safe declaration must not contain partial declaration 'False_intro'

	partialIssue.lean:12:8-12:19: error: (kernel) invalid declaration, safe declaration must not contain partial declaration 'False_intro'