Assertion list for term "left to the reader".
Results from Ascent++: 2
proof → ReceivesAction → left to the reader 0.30
check → ReceivesAction → left to the reader 0.27