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