Skip to content

Add "(a - b) == 0 => a == b" folding rule #855

Add "(a - b) == 0 => a == b" folding rule

Add "(a - b) == 0 => a == b" folding rule #855

Annotations

1 warning

Linux i386

succeeded Nov 18, 2024 in 1m 24s