mathlib3

dff563ec - doc(data/countable/small): fix module docs (#15924)