Module ops

Functions

eq_ind_partial_eval

Computes the partial evaluation of the equality indicator polynomial.