mathlib3

9daa2338 - doc(*): fix broken markdown links (#12385)

doc(*): fix broken markdown links (#12385) Some urls to nLab were also weird, so I replaced it with less weird ones. The `MM91` reference was presumably intended to reference `MM92`.