← Materials
Proposition 0.39 from An Infinite Descent into Pure Mathematics