EdgeInsets operator /(double other)

Divides the EdgeInsets in each dimension by the given factor.

Source 

EdgeInsets operator /(double other) {
  return new EdgeInsets.fromLTRB(
    left / other,
    top / other,
    right / other,
    bottom / other
  );
}