Skip to content

Commit

Permalink
Merge branch 'galoisRamification' of https://github.com/leanprover-co…
Browse files Browse the repository at this point in the history 
…mmunity/mathlib4 into galoisRamification
  • Loading branch information
@yhtq
yhtq committed Oct 30, 2024
2 parents b7f9f13 + c5c8fe5 commit 988c3ce
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 988c3ce

Please sign in to comment.