Theorem List.IsZeckendorfRep.sum_fib_lt

Modification history