Library Stdlib.micromega.DeclConstant
From Stdlib Require Export DeclConstantZ.
From Stdlib Require Import QArith_base.
#[global]
Instance DQ : DeclaredConstant Qmake := {}.
From Stdlib Require Export DeclConstantZ.
From Stdlib Require Import QArith_base.
#[global]
Instance DQ : DeclaredConstant Qmake := {}.