Q (notation)
_ ^ _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
/ _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ / _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
- _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ * _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ - _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ + _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
1 [in Coq.Numbers.Rational.SpecViaQ.QSig]
0 [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ < _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ <= _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ != _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ == _ [in Coq.Numbers.Rational.SpecViaQ.QSig]
[ _ ] [in Coq.Numbers.Rational.SpecViaQ.QSig]
[ _ ] [in Coq.Numbers.Rational.SpecViaQ.QSig]
_ rem _ [in Coq.Numbers.Integer.Abstract.ZAxioms]
_ รท _ [in Coq.Numbers.Integer.Abstract.ZAxioms]