--
--
--
------------------
-- Exercise 11.26.
------------------
--
--
--
module E'11'26 where



-- Note: Use/See templates for proofs by extensionality.



-- ---------------
-- 1. Proposition:
-- ---------------
--
--   id . f  =  f
--
--
-- Proof By Extensionality:
-- ------------------------
--
--      (id . f) x
--   =  id (f x)
--   =  f x
--
--
-- ■ (1. Proof)




