Reuse the proof from the solution to level 16#93

Open

eric-wieser wants to merge 1 commit intoImperialCollegeLondon:masterfrom eric-wieser:patch-2

+11-14

Commits on Jun 8, 2020

Reuse the proof from the solution to level 16
eric-wieser
authored