Weeknotes 67

9th October, 2022

“Set-Theoretic types”