src/HOL/Algebra/abstract/RingHomo.thy
Fri, 05 Nov 1999 11:14:26 +0100 paulson Algebra and Polynomial theories, by Clemens Ballarin
less more (0) tip