feat: compute the distributive Haar character of `ℝ`, `ℂ`, `ℤ_[p]` and `ℚ_[p]`#223

Merged

kbuzzard merged 2 commits intoImperialCollegeLondon:mainfrom javierlcontreras:tcc_18_nov_concrete_modular_haar_char

Dec 11, 2024

+657-11

Commits on Dec 9, 2024

feat: progress on computing modular characters in concrete types
YaelDillies
committed

Commits on Dec 10, 2024

Kevin's comments
YaelDillies
committed