English edit

Etymology edit

iodo- +‎ cholesterol

Noun edit

iodocholesterol (plural iodocholesterols)

  1. A derivative of cholesterol with an iodine atom.