mathlib3

doc(finsupp,category_theory): fixes

#1075

Merged