refactor(QuantumMechanics): rename SelfAdjoint to Symmetric#1449

gloges merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

KrystianNowakowski:rename-onedim-isselfadjoint-to-issymmetricKrystianNowakowski/physlib:rename-onedim-isselfadjoint-to-issymmetricCopy head branch name to clipboard