Carry the condition an order comparison is decided under (#876), and read a set-builder's predicate inside its binder (#878) - #879

Aug 11, 2026

Carry the condition an order comparison is decided under (#876), and read a set-builder's predicate inside its binder (#878)#879
Rafael-SOWNet merged 2 commits into
masterfrom
fix/comparison-truth-condition

Select a check to view from the sidebar