mathlib

e5470580 - docs(algebraic_topology/fundamental_groupoid/induced_maps): fix diagram rendering (#12745)