Noun
isocholesterin (countable and uncountable, plural isocholesterins) Dated form of isocholesterol.