exit 1
T.thy:7:3: unfinished-proof: sorry leaves the goal unproved
T.thy:11:69: unfinished-proof: sorry leaves the goal unproved
T.thy:17:3: unfinished-proof: sorry leaves the goal unproved
--- stderr
fixed 17 findings
3 findings: 3 unfinished-proof
