Skip to content

Define rigid admissible sites and G-ringed spaces - #42

Merged
dagurtomas merged 10 commits into
dagurtomas:mainfrom
katobungen:rigid_codex_23Jul
Jul 23, 2026
Merged

Define rigid admissible sites and G-ringed spaces#42
dagurtomas merged 10 commits into
dagurtomas:mainfrom
katobungen:rigid_codex_23Jul

Merge contributor branch after synchronization

8cb1208
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 23, 2026 in 2m 37s