Assertion list for term "learn proofs of theorems".

Results from Ascent++: 1
scholar CapableOflearn proofs of theorems 0.48