Assertion list for term "explain many vital theorems".

Results from Ascent++: 1
booklet CapableOfexplain many vital theorems 0.16