Theorem Mathlib.Meta.NormNum.isNat_zero

Modification history