Theorem Mathlib.Meta.NormNum.isFibAux_two_mul_add_one_done

Modification history