Skip to content

Descent: strengthen OO_cancelL_conn_map ("if" dir of CORS 2.31)#2372

Open
jdchristensen wants to merge 1 commit into
HoTT:masterfrom
jdchristensen:cors-2.31
Open

Descent: strengthen OO_cancelL_conn_map ("if" dir of CORS 2.31)#2372
jdchristensen wants to merge 1 commit into
HoTT:masterfrom
jdchristensen:cors-2.31

Commits

Commits on Jun 19, 2026