src/HOL/Library/Equipollence.thy
4 months ago paulson 2019-03-07 new material for Analysis
5 months ago paulson 2019-01-24 the theory of Equipollence, and moving Fpow from Cardinals into Main