Noun
cholestadienol (plural cholestadienols) (organic chemistry) Any sterol derived from cholestadiene