Ascent++ | used to establish separate elements

Assertion list for term "used to establish separate elements".

Results from Ascent++: 1

proof → ReceivesAction → used to establish separate elements

0.29