Cholesterol derivatives having an additional double bond in any position. The prevalent isomer 7-dehydrocholesterol is a precursor of cholesterol and of vitami…