Skip to content

Toronto ordinals are discrete#1802

Merged
felixpernegger merged 4 commits into
mainfrom
artem/ordinal-toronto-is-discrete
Jun 14, 2026
Merged

Toronto ordinals are discrete#1802
felixpernegger merged 4 commits into
mainfrom
artem/ordinal-toronto-is-discrete

Update theorems/T000907.md

09a6552
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar