Skip to content

| is divisibility, and was disjunction - #1241

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
bar-is-divides
Sep 10, 2026
Merged

| is divisibility, and was disjunction#1241
Rafael-SOWNet merged 1 commit into
masterfrom
bar-is-divides

`|` is divisibility, and was disjunction

85d324e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar