let
coefficient_of x a =
let
eqx _ y =
Term
.eq x y
in
Monomials
.coefficient_choose eqx a