feat: lift angular momentum to Hilbert space - #1673

feat: lift angular momentum to Hilbert space#1673

jstoobysmith merged 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

lizr-phys:feat/angular-momentum-hilbert-operatorlizr-phys/physlib-quantum-physics:feat/angular-momentum-hilbert-operatorCopy head branch name to clipboard