Heh, what a silly little mistake to make with the asserts. I've now improved their readability. Thank you! You're right, I need to add a better explanation for

Heh, what a silly little mistake to make with the asserts. I've now improved their readability. Thank you! You're right, I need to add a better explanation for what a ket is. Same applies to the validity, should explain a bit about normalization. Thanks for the feedback!