Very nice! Hp and the try are not needed. You could even combine the two destructs. It's great to see lia doing all the heavy lifting.
Hp
try
destruct
lia
My proof ended up longer than expected, but good kata.
Very neat Kata.
This comment is hidden because it contains spoiler information about the solution
Loading collection data...
Very nice!
Hpand thetryare not needed. You could even combine the twodestructs. It's great to seeliadoing all the heavy lifting.My proof ended up longer than expected, but good kata.
Very neat Kata.
This comment is hidden because it contains spoiler information about the solution