fact: Definition bottom_left_corner (c : cell) := last dummy_pt (left_pts c).
imports: mathcomp(all_ssreflect all_algebra all_real_closed reals) mathcomp.algebra_tactics(ring lra) casteljau convex counterclockwise intersection