Assertion list
state space (subgroup of space ) → IsA

Results from Ascent++: 1
state spaceIsA the space of square-integrable … 0.68