Joseph’s notes / poincare-half-plane • raw PDF • typst source