fact: Definition dummy_vert_edge := {| ve_x := 0; ve_top := 0; ve_bot := 0|}.
imports: mathcomp(all_ssreflect all_algebra all_real_closed reals) mathcomp.algebra_tactics(ring lra) casteljau convex counterclockwise intersection