Library Stdlib.micromega.ZifyPow

From Stdlib Require Export ZifyInst.