Discrete fixed-point theorem (source code)

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