fact: Fixpoint Qhomographic_sign (a b c d : Z) (p : Qpositive) {struct p} : forall (H_Qhomographic_sg_denom_nonzero : Qhomographic_sg_denom_nonzero c d p), Z * (Z * (Z * (Z * Z)) * Qpositive).
imports: Coq(ZArithRing)