mathlib

9640fec9 - Upgrade loop_equiv to loop_homeo (just for fun)