Title: A mathematical introduction to Dirac's formalisation
Subjects: Quantum theory