Multinomials for Ssreflect