mathlib3

cc69e4cc - doc(category/abelian/ext): update module doc (#16512)

doc(category/abelian/ext): update module doc (#16512) Update future work described in module doc, to reflect previous contributions to mathlib. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>