IntervalProd.area
================================

.. currentmodule:: odl.set.domain

.. autoproperty:: IntervalProd.area