{-

Results involving the tininess of shapes.

-}
module tiny where

import tiny.basic
import tiny.dependent
import tiny.preserves-coproduct