Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-05 15:09 fde992f0

View on Github →

chore(*): use induction generalizing

Estimated changes

Modified data/int/basic.lean

modified theorem int.of_nat_add_neg_succ_of_nat_of_ge

modified theorem int.of_nat_add_neg_succ_of_nat_of_lt

Modified data/list/basic.lean

Modified data/list/comb.lean

Modified data/num/lemmas.lean

Modified data/seq/computation.lean

Modified data/seq/parallel.lean

Modified data/seq/seq.lean