Theorem ToAdditive.Pow_lemma

Modification history