docs(QuantumMechanics): add Hilbert space API-map - #1511

docs(QuantumMechanics): add Hilbert space API-map#1511

gloges wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

gloges:hilbert-space-apigloges/physlib:hilbert-space-apiCopy head branch name to clipboard