Assertion list for term "use theorem".

Results from Ascent++: 1
mathematician CapableOfuse theorem 0.25