feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace#1434

gloges merged 7 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

adambornemann-glitch:feat/spacedhilbert-sobolevadambornemann-glitch/physlib:feat/spacedhilbert-sobolevCopy head branch name to clipboard