Theorem Nat.not_coprime_zero_zero

Modification history