Closed prabau closed 1 month ago
S37 ($\omega_1+1$ with endpoint doubled): add well-based property and then remove redundant countably tight property.
As discussed in #650.
S37 ($\omega_1+1$ with endpoint doubled): add well-based property and then remove redundant countably tight property.
As discussed in #650.