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

The logs for this run have expired and are no longer available.