check-one-div-per-subfile: allow a proof with its claim, a solution with its exercise - #1192

check-one-div-per-subfile: allow a proof with its claim, a solution with its exercise#1192

d-morrison merged 3 commits into

mainMorrison-Lab/gha:mainfrom

one-div-allow-proofsMorrison-Lab/gha:one-div-allow-proofsCopy head branch name to clipboard