Areas: the 331 top-level namespaces
Every theorem, grouped by the first component of its name. The namespace is the nearest thing the tree has to a table of contents by subject: ModularCurve and AlgebraicGeometry carry Mazur's argument and the modular-curve infrastructure, CerednikDrinfeld the uniformisation behind level lowering, LanglandsTunnell and AutomorphicForm the automorphic input to modularity, and so on. The "mostly under" column says which step of the route the members sit under (first landmark above them), as a rough guide.
| namespace | theorems | landmarks | mostly under |
|---|---|---|---|
ModularCurve | 7,711 | 2 | Modularity (Wiles, Taylor–Wiles) (3,995), Level lowering (Ribet) (1,975) |
AlgebraicGeometry | 3,322 | 0 | Level lowering (Ribet) (2,483), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (432) |
CerednikDrinfeld | 2,376 | 0 | Level lowering (Ribet) (2,376) |
AutomorphicForm | 2,336 | 1 | Modularity (Wiles, Taylor–Wiles) (2,336) |
AlgebraicCurve | 1,577 | 0 | Modularity (Wiles, Taylor–Wiles) (771), Level lowering (Ribet) (420) |
LanglandsTunnell | 1,543 | 1 | Modularity (Wiles, Taylor–Wiles) (1,543) |
WeierstrassCurve | 1,003 | 16 | Modularity (Wiles, Taylor–Wiles) (512), Level lowering (Ribet) (290) |
NumberField | 766 | 0 | Modularity (Wiles, Taylor–Wiles) (754), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (11) |
CuspForm | 692 | 1 | Modularity (Wiles, Taylor–Wiles) (609), Level lowering (Ribet) (65) |
GoodReductionJacobian | 674 | 0 | Level lowering (Ribet) (558), Modularity (Wiles, Taylor–Wiles) (72) |
groupCohomology | 361 | 0 | Modularity (Wiles, Taylor–Wiles) (361) |
ValuationSubring | 337 | 0 | Modularity (Wiles, Taylor–Wiles) (186), Level lowering (Ribet) (108) |
HopfAlgebra | 333 | 0 | Modularity (Wiles, Taylor–Wiles) (264), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (55) |
Algebra | 302 | 1 | Modularity (Wiles, Taylor–Wiles) (162), Level lowering (Ribet) (124) |
QuaternionAlgebra | 302 | 0 | Level lowering (Ribet) (302) |
Module | 212 | 0 | Level lowering (Ribet) (104), Modularity (Wiles, Taylor–Wiles) (72) |
CohCarrier | 192 | 0 | Modularity (Wiles, Taylor–Wiles) (188), Level lowering (Ribet) (4) |
Rep | 188 | 0 | Modularity (Wiles, Taylor–Wiles) (188) |
IsLocalRing | 181 | 0 | Modularity (Wiles, Taylor–Wiles) (123), Level lowering (Ribet) (49) |
WeierstrassProjModel | 173 | 0 | Modularity (Wiles, Taylor–Wiles) (165), Level lowering (Ribet) (8) |
MvFormalGroup | 166 | 0 | Level lowering (Ribet) (124), Modularity (Wiles, Taylor–Wiles) (42) |
ModularForm | 156 | 2 | Modularity (Wiles, Taylor–Wiles) (79), Level lowering (Ribet) (41) |
M4aHerbrand | 148 | 0 | Modularity (Wiles, Taylor–Wiles) (148) |
PDivisibleGroup | 138 | 0 | Modularity (Wiles, Taylor–Wiles) (138) |
GaloisRepAdic | 135 | 0 | Modularity (Wiles, Taylor–Wiles) (135) |
MeasureTheory | 132 | 0 | Modularity (Wiles, Taylor–Wiles) (129), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (3) |
HeckeEis | 130 | 0 | Modularity (Wiles, Taylor–Wiles) (117), Level lowering (Ribet) (12) |
GaloisRep | 127 | 1 | Modularity (Wiles, Taylor–Wiles) (104), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (19) |
Deformation | 120 | 0 | Modularity (Wiles, Taylor–Wiles) (120) |
Matrix | 105 | 0 | Modularity (Wiles, Taylor–Wiles) (60), Level lowering (Ribet) (42) |
MvPolynomial | 99 | 0 | Level lowering (Ribet) (41), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (34) |
(no namespace) | 98 | 4 | Modularity (Wiles, Taylor–Wiles) (47), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (34) |
NeronModelInfra | 96 | 0 | Level lowering (Ribet) (88), Modularity (Wiles, Taylor–Wiles) (4) |
Ideal | 94 | 0 | Modularity (Wiles, Taylor–Wiles) (53), Level lowering (Ribet) (31) |
ResidualGaloisRep | 92 | 1 | Modularity (Wiles, Taylor–Wiles) (91), Level lowering (Ribet) (1) |
ExtCitation | 85 | 0 | Modularity (Wiles, Taylor–Wiles) (72), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (13) |
MvPowerSeries | 81 | 0 | Modularity (Wiles, Taylor–Wiles) (47), Level lowering (Ribet) (33) |
FormalGroup | 78 | 0 | Modularity (Wiles, Taylor–Wiles) (78) |
IsDiscreteValuationRing | 78 | 0 | Modularity (Wiles, Taylor–Wiles) (62), Level lowering (Ribet) (16) |
Polynomial | 76 | 0 | Modularity (Wiles, Taylor–Wiles) (31), Level lowering (Ribet) (27) |
DrinfeldCurve | 71 | 0 | Modularity (Wiles, Taylor–Wiles) (71) |
ModPForms | 65 | 0 | Modularity (Wiles, Taylor–Wiles) (65) |
Complex | 64 | 0 | Modularity (Wiles, Taylor–Wiles) (38), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (21) |
Submodule | 62 | 0 | Level lowering (Ribet) (31), Modularity (Wiles, Taylor–Wiles) (17) |
IntermediateField | 60 | 0 | Modularity (Wiles, Taylor–Wiles) (51), Level lowering (Ribet) (5) |
FreyPackage | 59 | 17 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (27), Level lowering (Ribet) (26) |
LinearMap | 59 | 0 | Modularity (Wiles, Taylor–Wiles) (32), Level lowering (Ribet) (22) |
IsDedekindDomain | 57 | 0 | Modularity (Wiles, Taylor–Wiles) (47), Level lowering (Ribet) (5) |
TateCurve | 57 | 0 | Level lowering (Ribet) (22), Modularity (Wiles, Taylor–Wiles) (19) |
LT | 50 | 0 | Modularity (Wiles, Taylor–Wiles) (44), Level lowering (Ribet) (6) |
Representation | 50 | 0 | Modularity (Wiles, Taylor–Wiles) (44), Level lowering (Ribet) (4) |
CuspidalType | 45 | 0 | Modularity (Wiles, Taylor–Wiles) (45) |
PowerSeries | 44 | 0 | Level lowering (Ribet) (19), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (16) |
RingHom | 41 | 0 | Modularity (Wiles, Taylor–Wiles) (27), Level lowering (Ribet) (8) |
RubinSilverberg | 41 | 0 | Modularity (Wiles, Taylor–Wiles) (41) |
IsRegularLocalRing | 39 | 0 | Modularity (Wiles, Taylor–Wiles) (25), Level lowering (Ribet) (12) |
PadicAlgCl | 39 | 0 | Modularity (Wiles, Taylor–Wiles) (39) |
AdicCompletion | 37 | 0 | Modularity (Wiles, Taylor–Wiles) (26), Level lowering (Ribet) (9) |
TwoChartCech | 37 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (16), Level lowering (Ribet) (14) |
ArtinL | 36 | 0 | Modularity (Wiles, Taylor–Wiles) (36) |
Ihara | 36 | 0 | Modularity (Wiles, Taylor–Wiles) (34), Level lowering (Ribet) (2) |
IsIntegrallyClosed | 32 | 0 | Level lowering (Ribet) (17), Modularity (Wiles, Taylor–Wiles) (15) |
WittVector | 32 | 0 | Level lowering (Ribet) (23), Modularity (Wiles, Taylor–Wiles) (9) |
AlgHom | 31 | 0 | Modularity (Wiles, Taylor–Wiles) (20), Level lowering (Ribet) (6) |
Subalgebra | 29 | 0 | Modularity (Wiles, Taylor–Wiles) (13), Level lowering (Ribet) (12) |
HeckeCharacter | 28 | 0 | Modularity (Wiles, Taylor–Wiles) (28) |
UpperHalfPlane | 28 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (10), Modularity (Wiles, Taylor–Wiles) (9) |
CongruenceSubgroup | 27 | 0 | Modularity (Wiles, Taylor–Wiles) (22), Level lowering (Ribet) (5) |
PadicInt | 26 | 0 | Modularity (Wiles, Taylor–Wiles) (19), Level lowering (Ribet) (6) |
CartierDual | 25 | 0 | Modularity (Wiles, Taylor–Wiles) (19), Level lowering (Ribet) (4) |
EisensteinGeneral | 25 | 0 | Modularity (Wiles, Taylor–Wiles) (25) |
DeligneSerre | 24 | 0 | Modularity (Wiles, Taylor–Wiles) (23), Level lowering (Ribet) (1) |
IharaLemma | 24 | 0 | Modularity (Wiles, Taylor–Wiles) (24) |
ProjSpaceCech | 24 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (15), Level lowering (Ribet) (9) |
FrobeniusDensity | 23 | 0 | Modularity (Wiles, Taylor–Wiles) (21), Level lowering (Ribet) (2) |
HopfOrder | 23 | 0 | Modularity (Wiles, Taylor–Wiles) (22), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
AddCommGroup | 22 | 0 | Level lowering (Ribet) (12), Modularity (Wiles, Taylor–Wiles) (6) |
FrobeniusEndo | 22 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (15), Modularity (Wiles, Taylor–Wiles) (6) |
LaurentSeries | 22 | 0 | Modularity (Wiles, Taylor–Wiles) (12), Level lowering (Ribet) (8) |
LocalNewvector | 22 | 0 | Modularity (Wiles, Taylor–Wiles) (22) |
HenselianLocalRing | 21 | 0 | Modularity (Wiles, Taylor–Wiles) (19), Level lowering (Ribet) (2) |
LocalGL2 | 21 | 0 | Modularity (Wiles, Taylor–Wiles) (20), Level lowering (Ribet) (1) |
TwistedUnipotentTerm | 21 | 0 | Modularity (Wiles, Taylor–Wiles) (21) |
FLT | 20 | 0 | Modularity (Wiles, Taylor–Wiles) (10), Level lowering (Ribet) (7) |
FullLevelTate | 20 | 0 | Modularity (Wiles, Taylor–Wiles) (20) |
HaarQuotient | 20 | 0 | Modularity (Wiles, Taylor–Wiles) (20) |
Subgroup | 20 | 0 | Modularity (Wiles, Taylor–Wiles) (11), Level lowering (Ribet) (8) |
TateModule | 20 | 0 | Modularity (Wiles, Taylor–Wiles) (16), Level lowering (Ribet) (4) |
AddMonoidHom | 19 | 0 | Modularity (Wiles, Taylor–Wiles) (12), Level lowering (Ribet) (6) |
Bialgebra | 19 | 0 | Modularity (Wiles, Taylor–Wiles) (17), Level lowering (Ribet) (1) |
PeriodPair | 18 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (10), Modularity (Wiles, Taylor–Wiles) (6) |
WLight | 18 | 0 | Level lowering (Ribet) (17), Modularity (Wiles, Taylor–Wiles) (1) |
AddSubgroup | 17 | 0 | Modularity (Wiles, Taylor–Wiles) (9), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (7) |
IharaTower | 17 | 0 | Modularity (Wiles, Taylor–Wiles) (17) |
CategoryTheory | 15 | 0 | Level lowering (Ribet) (10), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (5) |
DoubleComplex | 15 | 0 | Level lowering (Ribet) (15) |
IsAdicComplete | 15 | 0 | Modularity (Wiles, Taylor–Wiles) (14), Level lowering (Ribet) (1) |
ModularFormClass | 14 | 0 | Modularity (Wiles, Taylor–Wiles) (11), Level lowering (Ribet) (3) |
UnramifiedWhittaker | 14 | 0 | Modularity (Wiles, Taylor–Wiles) (14) |
ZMod | 14 | 0 | Modularity (Wiles, Taylor–Wiles) (7), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4) |
HeckeCohomology | 13 | 0 | Modularity (Wiles, Taylor–Wiles) (13) |
RegularSingular | 13 | 0 | Modularity (Wiles, Taylor–Wiles) (13) |
W54 | 13 | 0 | Modularity (Wiles, Taylor–Wiles) (13) |
EisensteinSeries | 12 | 0 | Modularity (Wiles, Taylor–Wiles) (7), Level lowering (Ribet) (4) |
IsCyclotomicExtension | 12 | 1 | Modularity (Wiles, Taylor–Wiles) (9), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (3) |
MonoidHom | 12 | 0 | Modularity (Wiles, Taylor–Wiles) (10), Level lowering (Ribet) (2) |
Padic | 12 | 0 | Modularity (Wiles, Taylor–Wiles) (7), Level lowering (Ribet) (5) |
PadicComplex | 12 | 0 | Modularity (Wiles, Taylor–Wiles) (12) |
V3Asm | 12 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (12) |
AlgebraicClosure | 11 | 0 | Modularity (Wiles, Taylor–Wiles) (9), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
IsArtinianRing | 11 | 0 | Level lowering (Ribet) (7), Modularity (Wiles, Taylor–Wiles) (4) |
IsPrimitiveRoot | 11 | 0 | Modularity (Wiles, Taylor–Wiles) (11) |
V3AsmLevel | 11 | 0 | Level lowering (Ribet) (11) |
AdjoinRoot | 10 | 0 | Modularity (Wiles, Taylor–Wiles) (6), Level lowering (Ribet) (4) |
ContinuousLinearMap | 10 | 0 | Modularity (Wiles, Taylor–Wiles) (10) |
DihedralWeightOne | 10 | 0 | Modularity (Wiles, Taylor–Wiles) (10) |
GroupCohomology | 10 | 0 | Modularity (Wiles, Taylor–Wiles) (10) |
Subring | 10 | 0 | Modularity (Wiles, Taylor–Wiles) (7), Level lowering (Ribet) (3) |
AffineDilatation | 9 | 0 | Level lowering (Ribet) (9) |
KatzModularForm | 9 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (9) |
Valued | 9 | 0 | Level lowering (Ribet) (8), Modularity (Wiles, Taylor–Wiles) (1) |
HahnSeries | 8 | 0 | Level lowering (Ribet) (4), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4) |
HeckeIntegralSeam | 8 | 0 | Modularity (Wiles, Taylor–Wiles) (8) |
KaehlerDifferential | 8 | 0 | Level lowering (Ribet) (4), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
LevelRaising | 8 | 0 | Level lowering (Ribet) (8) |
M4aLocalCFT | 8 | 0 | Modularity (Wiles, Taylor–Wiles) (8) |
PrimeSpectrum | 8 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (5), Level lowering (Ribet) (2) |
RibetIrr | 8 | 0 | Modularity (Wiles, Taylor–Wiles) (8) |
TensorProduct | 8 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4), Level lowering (Ribet) (2) |
IsNoetherianRing | 7 | 0 | Level lowering (Ribet) (4), Modularity (Wiles, Taylor–Wiles) (2) |
MonoidAlgebra | 7 | 0 | Modularity (Wiles, Taylor–Wiles) (6), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
Rat | 7 | 0 | Level lowering (Ribet) (7) |
TaylorWiles | 7 | 0 | Modularity (Wiles, Taylor–Wiles) (7) |
AddMonoidAlgebra | 6 | 0 | Level lowering (Ribet) (5), Modularity (Wiles, Taylor–Wiles) (1) |
IsAlgClosed | 6 | 0 | Level lowering (Ribet) (3), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
IsGalois | 6 | 0 | Modularity (Wiles, Taylor–Wiles) (6) |
IsLocalization | 6 | 0 | Level lowering (Ribet) (3), Modularity (Wiles, Taylor–Wiles) (3) |
LocalParametrix | 6 | 0 | Modularity (Wiles, Taylor–Wiles) (6) |
Localization | 6 | 0 | Level lowering (Ribet) (4), Modularity (Wiles, Taylor–Wiles) (2) |
MazurAdmissible | 6 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (6) |
Nat | 6 | 0 | Level lowering (Ribet) (4), Modularity (Wiles, Taylor–Wiles) (1) |
Real | 6 | 0 | Modularity (Wiles, Taylor–Wiles) (6) |
integralClosure | 6 | 0 | Modularity (Wiles, Taylor–Wiles) (4), Level lowering (Ribet) (2) |
AdelicDock | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
AlgEquiv | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (4), Level lowering (Ribet) (1) |
CoherentBaseChange | 5 | 0 | Level lowering (Ribet) (4), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
CuspFormClass | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Level lowering (Ribet) (2) |
EisensteinWeightOne | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
FinFlatHopf | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
FreyCurve | 5 | 1 | Level lowering (Ribet) (5) |
Int | 5 | 0 | Level lowering (Ribet) (3), Modularity (Wiles, Taylor–Wiles) (1) |
IsGaloisGroup | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
IsIntegral | 5 | 0 | Level lowering (Ribet) (3), Modularity (Wiles, Taylor–Wiles) (2) |
IsLocalizedModule | 5 | 0 | Level lowering (Ribet) (5) |
IsReduced | 5 | 0 | Level lowering (Ribet) (2), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
KummerO | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
M4aKummer | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
ModularGroup | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
Pencil | 5 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (5) |
QuadraticForm | 5 | 0 | Level lowering (Ribet) (5) |
RingTheory | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
SchwartzMap | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
TWNum | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
TraceFibrePushforward | 5 | 0 | Modularity (Wiles, Taylor–Wiles) (5) |
V3Glue | 5 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4), Level lowering (Ribet) (1) |
exteriorPower | 5 | 0 | Level lowering (Ribet) (5) |
AnalyticOnNhd | 4 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4) |
BialgHom | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Level lowering (Ribet) (1) |
CommRing | 4 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2), Level lowering (Ribet) (1) |
DirichletCharacter | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (4) |
FiniteField | 4 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2), Modularity (Wiles, Taylor–Wiles) (2) |
Finsupp | 4 | 0 | Level lowering (Ribet) (2), Modularity (Wiles, Taylor–Wiles) (2) |
Function | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
Height | 4 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (4) |
KummerTheory | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (4) |
LSeries | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (4) |
LinearIndependent | 4 | 0 | Level lowering (Ribet) (3), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
Monoid | 4 | 0 | Level lowering (Ribet) (3), Modularity (Wiles, Taylor–Wiles) (1) |
MulAction | 4 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (3), Modularity (Wiles, Taylor–Wiles) (1) |
RibetLevelLowering | 4 | 0 | Level lowering (Ribet) (4) |
SetLike | 4 | 0 | Level lowering (Ribet) (4) |
UniqueFactorizationMonoid | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (3), Level lowering (Ribet) (1) |
ZLattice | 4 | 0 | Modularity (Wiles, Taylor–Wiles) (4) |
AbsoluteValue | 3 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2), Modularity (Wiles, Taylor–Wiles) (1) |
Coalgebra | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Level lowering (Ribet) (1) |
CochainCx | 3 | 0 | Level lowering (Ribet) (3) |
DixmierMalliavin | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
EulerProduct | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
Field | 3 | 0 | Level lowering (Ribet) (1), Modularity (Wiles, Taylor–Wiles) (1) |
Fin | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (2), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
FixedPart | 3 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (3) |
GaloisAction | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
GlobalGaloisRep | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
HeckeTreeWalk | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
HomogeneousLocalization | 3 | 0 | Level lowering (Ribet) (3) |
IsAddCyclic | 3 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2), Modularity (Wiles, Taylor–Wiles) (1) |
IsLocallyConstant | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
IsNonarchimedean | 3 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (3) |
LaurentPolynomial | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
LocalGroupLaw | 3 | 0 | Level lowering (Ribet) (3) |
Manifold | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (2), Level lowering (Ribet) (1) |
MellinParseval | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
QuotSMulTop | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
RatFunc | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (2), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
UnipotentTermUnfolding | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (3) |
Valuation | 3 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2), Level lowering (Ribet) (1) |
ValuationRing | 3 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
AddChar | 2 | 0 | Level lowering (Ribet) (1), Modularity (Wiles, Taylor–Wiles) (1) |
BrauerNesbitt | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
CharacterModule | 2 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
ClassFunction | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
CoalgHom | 2 | 0 | Level lowering (Ribet) (2) |
CommGroup | 2 | 0 | Level lowering (Ribet) (1), Modularity (Wiles, Taylor–Wiles) (1) |
CommRingCat | 2 | 0 | Level lowering (Ribet) (2) |
ContinuousMap | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
DoubleCoset | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
DualAssembly | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
Finite | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
Finset | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Level lowering (Ribet) (1) |
FixedPoints | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
GaloisLattice | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
HeightOneSpectrum | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
HomogeneousIdeal | 2 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1), Level lowering (Ribet) (1) |
IsBaseChange | 2 | 0 | Level lowering (Ribet) (2) |
IsFractionRing | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
LinearEquiv | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Level lowering (Ribet) (1) |
MWFL | 2 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
MazurRapoportAppendix | 2 | 0 | Level lowering (Ribet) (2) |
MulSemiringAction | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
Multiset | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
PresheafOfModules | 2 | 0 | Level lowering (Ribet) (2) |
RSCarrier | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
RatIdele | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
RationalLattice | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
RepTheory | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
RingEquiv | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (1), Level lowering (Ribet) (1) |
SlashInvariantForm | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
Subfield | 2 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1), Level lowering (Ribet) (1) |
SubtractionMonoid | 2 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (2) |
TrivSqZeroExt | 2 | 0 | Level lowering (Ribet) (2) |
UnipotentTermCuspBound | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
VectorFourier | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
WRay | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
WhittakerBlock | 2 | 0 | Modularity (Wiles, Taylor–Wiles) (2) |
AddAut | 1 | 0 | Level lowering (Ribet) (1) |
AddCircle | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
AddEquiv | 1 | 0 | Level lowering (Ribet) (1) |
AddTorsor | 1 | 0 | Level lowering (Ribet) (1) |
AnnulusSlope | 1 | 0 | Level lowering (Ribet) (1) |
ArithFrob | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ArithFrobResidue | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ArithmeticFunction | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Associated | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
AxisWitness | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
BostonLenstraRibet | 1 | 0 | Level lowering (Ribet) (1) |
BrauerInduction | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ClassGroup | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
CompleteOrthogonalIdempotents | 1 | 0 | Level lowering (Ribet) (1) |
ContDiff | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
CyclicPowerRelations | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Deep | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Derivation | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
DirectSum | 1 | 0 | Level lowering (Ribet) (1) |
E34D | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ENat | 1 | 0 | Level lowering (Ribet) (1) |
Equiv | 1 | 0 | Level lowering (Ribet) (1) |
FormalHecke | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
GL2F3 | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
GaussProlongation | 1 | 0 | Level lowering (Ribet) (1) |
GradedAlgebra | 1 | 0 | Level lowering (Ribet) (1) |
HeckeCosets | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
HexagonalLattice | 1 | 0 | Level lowering (Ribet) (1) |
Homeomorph | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IncidenceSystem | 1 | 0 | Level lowering (Ribet) (1) |
InertiaOrderTransport | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
InnerProductSpace | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IntegralClosure | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IrreducibleSpace | 1 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
IsAdjoinRoot | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsAlgebraic | 1 | 0 | Level lowering (Ribet) (1) |
IsConstructible | 1 | 0 | Level lowering (Ribet) (1) |
IsDomain | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsFreeGroup | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsIntegralClosure | 1 | 0 | Level lowering (Ribet) (1) |
IsIntegrallyClosedIn | 1 | 0 | Level lowering (Ribet) (1) |
IsIrreducible | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsLocalHom | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsOpen | 1 | 0 | Level lowering (Ribet) (1) |
IsPreconnected | 1 | 0 | Level lowering (Ribet) (1) |
IsProartinian | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsRegularRing | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
IsSMulRegular | 1 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
IsSeparable | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
LinearAlgebra | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
LocalizedModule | 1 | 0 | Level lowering (Ribet) (1) |
M4aTorus | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
MeanSquare | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
MellinPaleyWiener | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
MeromorphicAt | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ModularFunction | 1 | 0 | Level lowering (Ribet) (1) |
NeronSpecialFibreInfra | 1 | 0 | Level lowering (Ribet) (1) |
Orthonormal | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
P2mOS | 1 | 0 | Level lowering (Ribet) (1) |
PadicGaloisModule | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
PartialDeriv | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
PhragmenLindelof | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
QuotientGroup | 1 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
RatAdele | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
RepresentationTheory | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
RestrictedProduct | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Ring | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Set | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
SimpleGraph | 1 | 0 | Level lowering (Ribet) (1) |
Sobolev | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
StructureConstants | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Summable | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
TW12 | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
TW12CD1Dock | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
TWLoc | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
TestFunctionAction | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
TopCat | 1 | 0 | Level lowering (Ribet) (1) |
TopologicalSpace | 1 | 0 | Level lowering (Ribet) (1) |
Topology | 1 | 0 | Level lowering (Ribet) (1) |
Transcendental | 1 | 0 | Irreducibility (Mazur; exponents 5, 7, 11, 13 settled directly) (1) |
TransportGlue | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
Tuple | 1 | 0 | Level lowering (Ribet) (1) |
UnitAddTorus | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
WeightedMultigraph | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
WindowMultiplicity | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
ZSpan | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |
minpoly | 1 | 0 | Modularity (Wiles, Taylor–Wiles) (1) |