Library Coq.QArith.Qpower
Properties of Qpower_positive
Values of Qpower_positive for specific arguments
Relation of Qpower_positive to zero
Qpower_positive and multiplication, exponent subtraction
Qpower_positive and inversion, division, exponent subtraction
Qpower and exponent multiplication
Qpower_positive decomposition
Properties of Qpower
Values of Qpower for specific arguments
Relation of Qpower to zero
Qpower and multiplication, exponent addition
Qpower and inversion, division, exponent subtraction
Qpower and exponent multiplication
Compatibility of Qpower with relational operators
Power of 2 positive upper bound