Theorem CyclotomicCharacter.spec

Modification history

2025-05-02 14:44

Mathlib/NumberTheory/Cyclotomic/CyclotomicCharacter.lean

chore(NumberTheory/Cyclotomic/CyclotomicCharacter): fix name to camelCase (#24521) …

Deleted CyclotomicCharacter.spec View on Github →

2025-04-06 18:39

Mathlib/NumberTheory/Cyclotomic/CyclotomicCharacter.lean

feat(NumberTheory): p-adic cyclotomic character (#21934)

Added CyclotomicCharacter.spec View on Github →