ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 3559 - (view) (download) (annotate) - [select for diffs]
Modified Tue Apr 2 08:46:33 2002 UTC (19 years, 2 months ago) by xiny
File length: 1046 byte(s)
Diff to previous 3547
Changed def of homomorphisms and reproved all rules;
Added tactics "homIdT" and "homInvT".

Not finished yet. Will do the rest after fixing errors in subgroups
and cylic subgroups.

Revision 3547 - (view) (download) (annotate) - [select for diffs]
Added Sun Mar 24 08:26:30 2002 UTC (19 years, 3 months ago) by xiny
File length: 917 byte(s)
Defined homomorphism for groups. A map f of a group G into a group G'
is a homomorphism if f(a * b) = f(a) * f(b).

Proved some properties of homomorphism with the definition.

Since I would redo groups soon, this homomorphism file is not complete.

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