Gijs Heuts


Recent preprints:
A short proof of the straightening theorem (24104)