01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
By Maxime Wolff
Appears in collection : 2024 - T2 - WS1 - Low dimensional actions
In joint work with Frédéric Le Roux and Kathryn Mann, we prove that every automorphism of the group of germs at infinity of homeomorphisms of the real line is given by the conjugation by some homeomorphism of the line.