Mathlib Changelog
v4
Changelog
About
Github
Theorem
PadicComplex.coe_natCast
Modification history
2025-07-11 09:29
Mathlib/NumberTheory/Padics/Complex.lean
chore: a batch of whitespace fixes (#26964) …
Modified
PadicComplex.coe_natCast
View on Github →
2025-07-07 13:51
Mathlib/NumberTheory/Padics/Complex.lean
feat(NumberTheory/Padics/Complex.lean): add the padic complex numbers (#26675) …
Added
PadicComplex.coe_natCast
View on Github →