Add odd-dimensional iterated norm Laplacian#1175

zhikaip merged 3 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

Lemmy00:milikic/odd-dimensional-laplacian-coreLemmy00/physlib:milikic/odd-dimensional-laplacian-coreCopy head branch name to clipboard