Theorem Mathlib.Meta.NormNum.isNat_not_prime

Modification history