https://123dok.net/document/z3d390pe-averages-span-class-mathjax-formula-cohomology-heisenberg-groups.html