Library Stdlib.micromega.DeclConstant


From Stdlib Require Export DeclConstantZ.
From Stdlib Require Import QArith_base.

#[global]
Instance DQ : DeclaredConstant Qmake := {}.