1
1
------------------------------------------------------------------------
2
4
-- Some properties imply others
3
5
------------------------------------------------------------------------
7
7
module Relation.Binary.Consequences where
9
9
open import Relation.Binary.Core hiding (refl)