Skip to content

Add the effective topos - #362

Open
dschepler wants to merge 9 commits into
ScriptRaccoon:mainfrom
dschepler:effective-topos
Open

Add the effective topos#362
dschepler wants to merge 9 commits into
ScriptRaccoon:mainfrom
dschepler:effective-topos

Add an implication which establishes the effective topos has a cogene…

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

Annotations

1 error
test
failed Sep 12, 2026 in 15s