Open RaymondTana opened 2 years ago
And need extra space after "for all" in statement of Mostowski Collapse Theorem