fact: Definition display_smooth_trajectory (tr_x tr_y scale : Q) (s : seq curve_element) := (List.map (display_curve_element tr_x tr_y scale) s ++ "stroke"%string :: nil).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL