A short proof of the straightening theorem

Preprint 24104
PDF
Authors: Fabian Hebestreit, Gijs Heuts, Jaco Ruit
Project: A8
Published: TAMS (2021)
Submission date: 17 Feb 2025