Skip to content

Dieudonne complete + monotonically normal implies paracompact - #1824

Merged
StevenClontz merged 1 commit into
mainfrom
Monotonically-normal-Dieudonne-complete
Aug 1, 2026
Merged

Dieudonne complete + monotonically normal implies paracompact#1824
StevenClontz merged 1 commit into
mainfrom
Monotonically-normal-Dieudonne-complete

new theorem

c31e161
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Jul 23, 2026 in 17s