Repository navigation

Write empty sets, singletons, and two-element sets explicitly - #439

Merged

ScriptRaccoon merged 1 commit into

mainfrom

Oct 27, 2026

Merged

Write empty sets, singletons, and two-element sets explicitly#439
ScriptRaccoon merged 1 commit into
mainfrom
notation-sets

Commits on Oct 27, 2026
- consistent notation of empty sets, singletons, and two-element sets
  ScriptRaccoon
  committed
  7848ac7