Abstract Hecke ring: the Ring (𝕋 P ℤ) instance#78

CBirkbeck wants to merge 1 commit into

mainCBirkbeck/LeanBridge:mainfrom

hecke-ringCBirkbeck/LeanBridge:hecke-ringCopy head branch name to clipboard