GitHub repository: vbeffara/RMT4
Primary language: Lean
Created: 2023-06-17T11:26:58Z
Description: The Riemann mapping theorem