IntervalProd.volume
==================================

.. currentmodule:: odl.set.domain

.. autoproperty:: IntervalProd.volume