proposition: Lemma iter0 (T : Type) (f : T -> T) x : iter 0 f x = x.
proof: Proof. by []. Qed.
imports: mathcomp(all_ssreflect) GraphTheory(edone preliminaries bij) fourcolor(hypermap geometry cfmap jordan color coloring combinatorial4ct) fourcolor(walkup)