Assertion list
open set (subgroup of set ) → ReceivesAction
Results from Ascent++: 1
open set → ReceivesAction → generated by open intervals 0.84