Theorem Nat.Coprime.pow_left_bijective

Modification history