feat(Mathematics): Schwartz multiplier by the affine resolvent symbol#1446

adambornemann-glitch wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

adambornemann-glitch:feat/schwartz-resolvent-multiplieradambornemann-glitch/physlib:feat/schwartz-resolvent-multiplierCopy head branch name to clipboard