noun
or diamond indenter
: an instrument for measuring hardness by the depth of the indentation made by a pyramidal diamond point under a given load
noun
or diamond indenter
: an instrument for measuring hardness by the depth of the indentation made by a pyramidal diamond point under a given load
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012