Fall 2022 - p-adic uniformization of Shimura curves