Theorem Mathlib.Meta.NormNum.isNat_ofScientific_of_false

Modification history