Theorem measurableEmbedding_inv

Modification history

2024-04-04 09:42
Mathlib/MeasureTheory/Group/Arithmetic.lean
feat: bounding integrals by asymptotics, part 2: corollaries (#10388) …
Added measurableEmbedding_invView on Github →