-- (which comprise cubes of positive volume) must have positive volume
-- as well.
prop_all_volumes_positive :: Cube -> Bool
prop_all_volumes_positive cube =
null nonpositive_volumes
where
-- (which comprise cubes of positive volume) must have positive volume
-- as well.
prop_all_volumes_positive :: Cube -> Bool
prop_all_volumes_positive cube =
null nonpositive_volumes
where