Helper

nth_powers_vanish

Section paillier_params

Type Lemma

Proof Lines 4

Lemma nth_powers_vanish (r : {unit 'Z_n2}) : (val r) ^+ n ^+ lambda = 1.

n-th powers vanish when raised to lambda (subgroup structure)

This lemma does not use any other lemmas from the stats.

No lemmas in the stats use this lemma.

Loading source code...