vstd
In vstd::
arithmetic::
power
Functions
group_pow_properties
lemma0_pow
lemma1_pow
lemma_pow0
lemma_pow1
lemma_pow_adds
lemma_pow_distributes
lemma_pow_division_inequality
lemma_pow_increases
lemma_pow_increases_converse
lemma_pow_mod
lemma_pow_mod_noop
lemma_pow_multiplies
lemma_pow_positive
lemma_pow_strictly_increases
lemma_pow_strictly_increases_converse
lemma_pow_sub_add_cancel
lemma_pow_subtracts
lemma_pull_out_pows
lemma_square_is_pow2
pow
?
Settings
Function
vstd
::
arithmetic
::
power
::
group_pow_properties
Copy item path
source
·
[
−
]
pub
broadcast group
fn group_pow_properties()
Expand description
broadcast group