preferred_name: 4alpha-carboxy-5alpha-cholesta-7,24-dien-3beta-ol dehydrogenase/C4-decarboxylase activity
preferred_name_lc: 4alpha-carboxy-5alpha-cholesta-7,24-dien-3beta-ol dehydrogenase/c4-decarboxylase activity
label: 4alpha-carboxy-5alpha-cholesta-7,24-dien-3beta-ol dehydrogenase/C4-decarboxylase activity
label_lc: 4alpha-carboxy-5alpha-cholesta-7,24-dien-3beta-ol dehydrogenase/c4-decarboxylase activity