Assertion list for term "the space of square-integrable functions".

Results from Ascent++: 1
state space (subgroup of space) IsAthe space of square-integrable functions 0.68