Theorem Rat.AbsoluteValue.is_prime_of_minimal_nat_zero_lt_and_lt_one

Modification history