Theorem Mathlib.Meta.NormNum.isNat_prime_2

Modification history