Ascent++ | undergo review of the resulting proof

Assertion list for term "undergo review of the resulting proof".

Results from Ascent++: 1

manuscript → CapableOf → undergo review of the resulting proof

0.44