Library mathcomp_eulerian.psi_cdindex_tree_hlc

From mathcomp Require Import all_ssreflect.
Require Export psi_cdindex_tree_shape.