Assertion list for term "devoted to theorem".

Results from Ascent++: 1
remainder ReceivesActiondevoted to theorem 0.30