Theorem not_isCoprime_zero_zero

Modification history