The proof passed. Can you see why it works?

(github.com)

2 points | by ashdee 10 hours ago ago