ParentFull threadmarco_z·Boumal was advised by Absil IIRC :) And in fact you can see this in his more modern presentation of the material.View on HN