Update PR1090 with main#1093

Merged

StevenClontz merged 2 commits into

rudin's-space-is-strongly-collectionwise-normalfrom

Dec 16, 2024

Commits on Dec 15, 2024

Clarify which join is being referenced for S195 (#1091)
GeoffreySangston
authored

Commits on Dec 16, 2024

Rudin's Dowker space is a P-space and not realcompact (#1078)
Moniker1998
authored