operator-properties.cc 3.57 KB