Skip to content

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

Merged
ScriptRaccoon merged 1 commit into
mainfrom
notation-sets
Oct 27, 2026
Merged

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

consistent notation of empty sets, singletons, and two-element sets

7848ac7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar