Assertion list for term "exist in mathematic".

Results from Ascent++: 1
proof CapableOfexist in mathematic 0.27