Loading collection data...
Collections are a way for you to organize kata so that you can create your own training routines. Every collection you create is public and automatically sharable with other warriors. After you have added a few kata to a collection you and others can train on the kata contained within the collection.
Get started now by creating a new collection.
Do I need to merge this change into the kata or is it resolved?
I believe this should be sorted, thanks.
Oops, sorry about this! I'll fix it now.
Edited, thanks
This comment is hidden because it contains spoiler information about the solution
Amended, thanks.
For what it's worth, I proposed this as a 7kyu kata :)
I also agree with the above comment that theorem proving kata can have different sorts of difficulty, but I think this particular one is mathematically fairly straightforward.