Research proof index

The "maximal p-quotient" of (ℤ, +) is ℤ/⋂ₙ pⁿℤ = ℤ, not a p-group.

Division of MDifferentiable functions on ℍ is MDifferentiable, when the denominator is everywhere nonzero.

For measurable $f$ with $\lVert f(x)\rVert\le1$, the scale-$n$ quantity lcoConvergent, which records a supremum of truncated linearized Carleson integrals over rational radii, is a measurable function of $x$.

A diagonal matrix scales addHaar with its determinant

Haar measure scaling for invertible linear maps on a finite-dimensional vector space over a field F assuming [SecondCountableTopology F].

Haar measure scaling for linear maps on (ι → F)