/[mojave]/metaprl/theories/czf/czf_itt_iso.mli
ViewVC logotype

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

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: 1031 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