Assertion list for term "enumerable".
Results from Ascent++: 2
set → HasProperty → enumerable 0.32
proof → HasProperty → enumerable 0.25