Ascent++
Search
Assertion list
for term "required by the carrier".
Results from
Ascent++
:
2
proof
→
ReceivesAction
→
required by the carrier
0.27
signature
→
ReceivesAction
→
required by the carrier
0.11