Angular momentum coupling, the Wigner–Eckart theorem and the hydrogen spectrum, formally verified in Lean 4

Leonforte, Daniel

DOI: 10.5281/zenodo.23812908

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.