Bahturin–Zaicev's graded PI-exponent inequality conjecture
Bahturin–Zaicev's conjecture. The inequality
MathDB