fact: Definition closing_cells (p : pt) (contact_cells: seq cell) : seq cell := List.map (fun c => close_cell p c) contact_cells.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL