All.lean
Nyll.ProCGroups.GolodShafarevich.All
0 declarations indexed from sourceView source ↗
Module documentation
Golod--Shafarevich theory for pro-p groups
Reader-facing facade for the truncated Fox inequality and strict finite generator/relation-rank bound.
Golod--Shafarevich theory
Canonical aggregate generated by the reviewed rehome.
Imports11
- Nyll.ProCGroups.GolodShafarevich.CountableRelatorTarget
- Nyll.ProCGroups.GolodShafarevich.CountableRelators
- Nyll.ProCGroups.GolodShafarevich.WeightedFiniteCriterion
- Nyll.ProCGroups.GolodShafarevich.FiniteCriterion
- Nyll.ProCGroups.GolodShafarevich.FiniteDimensions
- Nyll.ProCGroups.GolodShafarevich.GeneratorGap
- Nyll.ProCGroups.GolodShafarevich.GradedPieces
- Nyll.ProCGroups.GolodShafarevich.NumericalCriterion
- Nyll.ProCGroups.GolodShafarevich.TruncatedFoxMaps
- Nyll.ProCGroups.GolodShafarevich.TruncatedFoxSequence
- Nyll.ProCGroups.GolodShafarevich.TruncatedInequality
Imported by1
This module has no indexed declarations. Its imports and full source are available here.