Skip to content

Add total/cototal category properties - #254

Open
dschepler wants to merge 9 commits into
ScriptRaccoon:mainfrom
dschepler:total-category
Open

Add total/cototal category properties#254
dschepler wants to merge 9 commits into
ScriptRaccoon:mainfrom
dschepler:total-category

Fix implications for non locally essentially small categories

008c153
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
test
succeeded Jul 30, 2026 in 1m 50s