Repository navigation

Commits

Commits on Nov 19, 2025
- chore: bump to `v4.25.1` (#765)
  pitmonticone
  authored
  ab3f9f9
- delete blueprint/lean_decls (#764)
  dwrensha
  authored
  16946b3
Commits on Nov 17, 2025
- Haar char scaling (#748)
  
  Norbert Voelker
  and
  kbuzzard
  authored
  b4dffa9
Commits on Nov 15, 2025
- chore: bump to v4.25.0 (#763)
  Ruben-VandeVelde
  authored
  5be5630
Commits on Nov 8, 2025
- feat: add cheat mode `Knownin1980s` tactic (#762)
  kbuzzard
  authored
  fbfaf59
Commits on Nov 2, 2025
- chore: bump mathlib (#759)
  kbuzzard
  authored
  96f5ac1
- feat: add an example theorem about IsLocalProartinianAlgebra (#747)
  kbuzzard
  authored
  9ae0a89
Commits on Oct 28, 2025
- chore: fix deprecation warnings
  kbuzzard
  committed
  ec90b11
- feat: statement of cyclic base change (#735)
  kbuzzard
  authored
  ac91c9d
Commits on Oct 26, 2025
- chore: fix docgen-action problem
  pitmonticone
  committed
  2e4587a
Commits on Oct 22, 2025
- chore: bump to `v4.25.0-rc1` (#756)
  pitmonticone
  authored
  dccd101
- chore: split FLT.Automorphic.Example (#754)
  kbuzzard
  authored
  cdecfab
Commits on Oct 21, 2025
- Remove Module.Flat instance that's now in Mathlib (#745)
  10000 matthewjasper
  authored
  257b074
Commits on Oct 20, 2025
- chore: remove upstreamed Ideal.sum_ramification_inertia_of_isLocalRing (#751)
  Ruben-VandeVelde
  authored
  680f501
Commits on Oct 18, 2025
- chore: tidy up Galois representation on torsion points (#750)
  kbuzzard
  authored
  9a03345
Commits on Oct 17, 2025
- chore: review/tidyup of Hecke operators (#749)
  kbuzzard
  authored
  54dad68
Commits on Oct 15, 2025
- chore: bump to `v4.24.0` (#746)
  pitmonticone
  authored
  0973624
Commits on Oct 13, 2025
- feat: add theorem statements about hardly ramified Galois representations (#742)
  kbuzzard
  authored
  a538548
Commits on Oct 5, 2025
- chore: drop IsTopologicalGroup.isInducing_of_nhds_one (#740)
  Ruben-VandeVelde
  authored
  cb4fea2
Commits on Oct 4, 2025
Commits on Oct 3, 2025
- Bump mathlib (#734)
  Ruben-VandeVelde
  authored
  ecaaa7a
Commits on Sep 29, 2025
- chore: fix build
  kbuzzard
  committed
  de36884
- Fix minor typo in `ch04overview.tex` (#725)
  StanFromIreland
  authored
  653311d
- chore: remove QuotientGroup.mulEquiv in favour of QuotientGroup.congr (#724)
  Ruben-VandeVelde
  authored
  096bf85
- chore: shake imports (#723)
  Ruben-VandeVelde
  authored
  8923bfd
- feat: definition of hardly ramified Galois representation (#717)
  kbuzzard
  authored
  4519708
- feat: commutativity of Hecke operators at bad primes modulo two sorries (#711)
  bwangpj
  authored
  b8d8f9d
- chore: bump mathlib (#730)
  kbuzzard
  authored
  ecb30b6
Commits on Sep 20, 2025
- chore: bump to `v4.24.0-rc1` (#728)
  pitmonticone
  authored
  4930832
Commits on Sep 17, 2025
- chore(deps-dev): bump rexml from 3.3.9 to 3.4.2 in /docs (#722)
  dependabot[bot]
  authored
  f49630f
- chore: bump to v4.23.0 (#720)
  Ruben-VandeVelde
  authored
  5b10f21
Commits on Sep 12, 2025
- Feat (Fujisaki): T finite (#682)
  
  WilliamCoram
  and
  kbuzzard
  authored
  a8ff033
Commits on Sep 10, 2025
- Kbuzzard latex chapter rename (#716)
  kbuzzard
  authored
  f8bb1c6

Branch selector

User selector

Datepicker

Commit history

Commits on Nov 19, 2025

Commits on Nov 17, 2025

Commits on Nov 15, 2025

Commits on Nov 8, 2025

Commits on Nov 2, 2025

Commits on Oct 28, 2025

Commits on Oct 26, 2025

Commits on Oct 22, 2025

Commits on Oct 21, 2025

Commits on Oct 20, 2025

Commits on Oct 18, 2025

Commits on Oct 17, 2025

Commits on Oct 15, 2025

Commits on Oct 13, 2025

Commits on Oct 5, 2025

Commits on Oct 4, 2025

Commits on Oct 3, 2025

Commits on Sep 29, 2025

Commits on Sep 20, 2025

Commits on Sep 17, 2025

Commits on Sep 12, 2025

Commits on Sep 10, 2025