Commit Graph

2 Commits

Author SHA1 Message Date
394fa283bb nQ and nQ' 2024-11-14 20:00:07 +01:00
8dbff45e8a usual definition of ramification jumps 2024-11-04 20:37:23 +01:00