mathlib

7a9e6ca4 - 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>