ProductSpaceElement.size

property ProductSpaceElement.size

Total number of involved spaces, computed recursively.