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

MACOS_x86_64

succeeded Nov 18, 2024 in 1m 27s