Mathlib Changelog
v4
Changelog
About
Github
Theorem
NumberField.mixedEmbedding.integral_comp_polarCoordReal_symm
Modification history
2025-03-12 15:37
Mathlib/NumberTheory/NumberField/CanonicalEmbedding/PolarCoord.lean
chore(whitespace): more whitespace changes (#22850) …
Modified
NumberField.mixedEmbedding.integral_comp_polarCoordReal_symm
View on Github →
2025-03-07 10:40
Mathlib/NumberTheory/NumberField/CanonicalEmbedding/PolarCoord.lean
feat(NumberField/MixedSpace): add polar coordinates change of variables (part 1) (#22120) …
Added
NumberField.mixedEmbedding.integral_comp_polarCoordReal_symm
View on Github →