Theorem Mathlib.Meta.NormNum.isNat_fib

Modification history