mathlib

3b90244c - init. The goal is to rewrite all of bounded_variation using lists (or maybe finsets)