Theorem Nat.periodic_coprime

Modification history