mathlib

e6982901 - doc(overview): Add alternating_map (#5582)