IntervalProd.length ================================== .. currentmodule:: odl.set.domain .. autoproperty:: IntervalProd.length