dolce#arbitrary_sum__arbitrarysum type: rigid_universal__rigiduniversal__X
No statement uses or specializes arbitrary_sum; click here to add one.
Another search (with same display options)?