English

edit

Etymology

edit

From iodo- +‎ cholesterol.

Noun

edit

iodocholesterol (plural iodocholesterols)

  1. A derivative of cholesterol with an iodine atom.