813-818

599-812 threads.html
[haskell-jp:813] f is epi and split mono  -> f is isomorphism
threads.html