Theorem Mathlib.Meta.NormNum.isFibAux_zero

Modification history