fact: Definition smooth_from_cells (cells : seq cell) (initial final : pt) : seq curve_element := match point_to_point cells initial final with | Some s => List.concat (List.map (check_curve_element_and_repair 20 cells) (smoothen (break_segments s))) | None => nil end.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL