Theorem Mathlib.Meta.NormNum.isFibAux_one

Modification history