Skip to content

Properties of OrderedCommRings#1303

Open
LorenzoMolena wants to merge 24 commits into
agda:masterfrom
LorenzoMolena:ocr-update
Open

Properties of OrderedCommRings#1303
LorenzoMolena wants to merge 24 commits into
agda:masterfrom
LorenzoMolena:ocr-update

add missing `Is` into the name of an helper function

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

Annotations

1 warning
test-cubical
succeeded Apr 21, 2026 in 10m 30s