Def Mathlib.Meta.NormNum.IsFibAux

Modification history