Reverse stratification conjecture for de Rham prismatic crystals
Reverse stratification conjecture. The expression