Loading paper
Soundness and completeness of quantum root-mean-square errors | Tomesphere