Cholestenol is a sterol that has been found in the skins of rats.[1] It can be converted to cholesterol in mammals.[2] Delta-7-cholestenol is also known as lathosterol.