This is a diamond file with a specially shaped tip that lets you polish hard-to-reach spots that conventional files can't get to!
Unlike ordinary metal files, diamond files have no set grain direction, so you can move them freely like sandpaper, which makes them handy for polishing fine details. This product's grit (#140) is suited to shaping and relatively coarse grinding work.