AbsoluteMuPTrivialization.lean
Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPTrivialization
0 declarations indexed from sourceView source ↗
Module documentation
The general field-theoretic implementation is maintained in GaloisCohomology.
This module has no indexed declarations. Its imports and full source are available here.