ParentFull threadmacrolocal·As long as you don’t bump into Gal(ℝ/ℚ) somewhere along the way.View on HN