changeset 35849 | b5522b51cb1e |
parent 27541 | 9e585e99b494 |
35848:5443079512ea | 35849:b5522b51cb1e |
---|---|
1 (* |
1 (* Author: Clemens Ballarin, started 15 April 1997 |
2 Ring homomorphism |
2 |
3 $Id$ |
3 Ring homomorphism. |
4 Author: Clemens Ballarin, started 15 April 1997 |
|
5 *) |
4 *) |
6 |
5 |
7 header {* Ring homomorphism *} |
6 header {* Ring homomorphism *} |
8 |
7 |
9 theory RingHomo |
8 theory RingHomo |