mathlib3

670f3acf - Additional documentation for internal functors