Theorem Nat.coprime_self_sub_left

Modification history