Library mathcomp_eulerian.psi_descent
From
mathcomp
Require
Import
all_ssreflect
.
Require
Export
psi_descent_v2
psi_descent_thms
.