ViewVC logotype

Log of /metaprl/theories/czf/czf_itt_iso.prla

Parent Directory Parent Directory | Revision Log Revision Log

Links to HEAD: (view) (download) (annotate)
Sticky Revision:

Revision 3574 - (view) (download) (annotate) - [select for diffs]
Added Tue Apr 9 06:02:28 2002 UTC (19 years, 2 months ago) by xiny
File length: 67787 byte(s)
1. Defined group isomorphisms based on group homomorphisms. An
   isomorphism f: G1 -> G2 is a homomorphism that is one-to-one
   and onto G2. That is, an isomorphism f: G1 -> G2 is a
   homomorphism where f is a bijection.
2. Also defined and proved the functionality rules (both equality
   and equivalence) for isomorphisms.

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.26