Source: wikibot/discrete-fixed-point-theorem

= Discrete fixed-point theorem
{wiki=Discrete_fixed-point_theorem}