Assertion list
open set (subgroup of set ) → HasA
Results from Ascent++: 1
open set → HasA → all but finitely many points 0.84