mathlib3

feat(topology/algebra/module/alternating): new file

#19210

Closed