Theorem Squarefree.eq_zero_or_one_of_pow_of_not_isUnit

Modification history