Theorem Nat.coprime_self_sub_right

Modification history