src/HOL/Complex/ex/DenumRat.thy
Sun, 19 Feb 2006 22:12:30 +0100 kleing * denumerability of rationals by Benjamin Porter, based on NatPair (by Stefan Richter)
less more (0) tip