Theorem Nat.coprime_self

Modification history