Existence of p-bases for higher Frobenius sandwiches
Existence conjecture for higher Frobenius sandwiches. There should exist a p∙p^\bulletp∙-basis of RRR over SSS.
MathDB