Skip to content

A negation of a signed term is printed in brackets - #2265

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
a-negation-of-a-signed-number-is-bracketed
Oct 30, 2026
Merged

A negation of a signed term is printed in brackets#2265
Rafael-SOWNet merged 1 commit into
masterfrom
a-negation-of-a-signed-number-is-bracketed

A negation of a signed term is printed in brackets

613712d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar