Defined notations
Formulated the 'Reincarnation theorem' (without a proof for now)
Formulated the 'Reincarnation theorem' (without a proof for now)
First proof step
First proof step
Reincarnation theorem: Added next proof step
Reincarnation theorem: Next proof step
Reincarnation theorem: Next proof step
Reincarnation theorem: Next proof step
Reincarnation theorem: Completed proof of the first lemma
Reincarnation theorem: Second lemma, first proof steps
Reincarnation theorem: Second lemma, next proof steps
Reincarnation theorem: Completed proof of the second lemma
Reincarnation theorem: Completed proof
Spell checking
Merge branch 'master' of github.com:quantum-ethics/quantum-ethics into issue-24
Merge remote-tracking branch 'origin/issue-24' into issue-24
Merge branch 'master' of github.com:quantum-ethics/quantum-ethics into issue-24
Merge branch 'master' of github.com:quantum-ethics/quantum-ethics into issue-24
Merge branch 'master' of github.com:quantum-ethics/quantum-ethics into issue-24