Skip to content

Add quasitopos property#243

Open
dschepler wants to merge 2 commits into
ScriptRaccoon:mainfrom
dschepler:quasitopos
Open

Add quasitopos property#243
dschepler wants to merge 2 commits into
ScriptRaccoon:mainfrom
dschepler:quasitopos

Generalize to prove that all quasitopoi have effective cocongruences;…

94d2bf8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jun 27, 2026 in 20s