1
1
------------------------------------------------------------------------
2
4
-- Conversion of < to ≤, along with a number of properties
3
5
------------------------------------------------------------------------
7
7
-- Possible TODO: Prove that a conversion ≤ → < → ≤ returns a
8
8
-- relation equivalent to the original one (and similarly for