Commit 2024-12-20 15:29 7987fe32

View on Github →

doc(*.yml): mention Sylow theorems (#20111)

  • mention them in the overview
  • they have been upstreamed already: make 100.yaml point to the in-mathlib links
  • add the same links to 1000.yaml

Estimated changes