Edit wp-admin/theme.php page

Last question: Where can I edit this admin page to remove options.

wp-admin/themes.php?page=theme_options

I followed exactly through wp-admin and theme.php and still can't find where to edit/remove options on that file: theme specific styling, set your own, menus and enjoy your theme