Skip to content

Enforce that the trivial category has no unsatisfied properties#100

Merged
ScriptRaccoon merged 2 commits intomainfrom
trivial-category-has-everything
Apr 17, 2026
Merged

Enforce that the trivial category has no unsatisfied properties#100
ScriptRaccoon merged 2 commits intomainfrom
trivial-category-has-everything

Commits

Commits on Apr 17, 2026