1
1
------------------------------------------------------------------------
2
4
-- Many properties which hold for _∼_ also hold for _∼_ on f
3
5
------------------------------------------------------------------------
7
7
open import Relation.Binary
9
9
module Relation.Binary.On {a b} {A : Set a} {B : Set b}