Skip to content

Add Barr-(co)exact properties#186

Merged
ScriptRaccoon merged 1 commit into
ScriptRaccoon:mainfrom
dschepler:barr-exact2
May 16, 2026
Merged

Add Barr-(co)exact properties#186
ScriptRaccoon merged 1 commit into
ScriptRaccoon:mainfrom
dschepler:barr-exact2

Commits

Commits on May 16, 2026