mathlib3
chore(data/list): move some sections to separate files
#2341
Merged
Overview
Commits
17
Changes
View On GitHub
Commits
  • move list.func namespace to its own file
    Scott Morrison committed 6 years ago
  • move erase_dup to its own file
    Scott Morrison committed 6 years ago
  • move rotate to its own file
    Scott Morrison committed 6 years ago
  • move tfae to its own file
    Scott Morrison committed 6 years ago
  • move bag_inter and intervals
    Scott Morrison committed 6 years ago
  • move range out
    Scott Morrison committed 6 years ago
  • move nodup
    Scott Morrison committed 6 years ago
  • move chain and pairwise
    Scott Morrison committed 6 years ago
  • move zip
    Scott Morrison committed 6 years ago
  • move forall2
    Scott Morrison committed 6 years ago
  • move of_fn
    Scott Morrison committed 5 years ago
  • Merge remote-tracking branch 'origin/master' into dismember
    Scott Morrison committed 5 years ago
  • add copyright headers
    Scott Morrison committed 5 years ago
  • remove unnecessary sections, move defns to func.set and tfae
    Scott Morrison committed 5 years ago
  • fixes
    Scott Morrison committed 5 years ago
  • oops, forgot to add file
    Scott Morrison committed 5 years ago
  • Merge branch 'master' into dismember
    mergify[bot] committed 5 years ago
FAQ Terms Privacy Refunds Impressum
Loading