Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-03 17:40 77615d00

View on Github →

chore(data/seq/*): cases_on → rec_on (#15843) We rename recursion principles on Sort from cases_on to rec_on.

Estimated changes

Modified scripts/nolints.txt

Modified src/data/seq/computation.lean

deleted def computation.cases_on

added def computation.rec_on

Modified src/data/seq/parallel.lean

Modified src/data/seq/seq.lean

deleted def seq.cases_on

added def seq.rec_on

Modified src/data/seq/wseq.lean

deleted def wseq.cases_on

added def wseq.rec_on