Prefer a chat interface with context about you and your work?
Sur un espace complet qui n'admet pas le théorème de Souslin