parce que c'est une librairie "système" et que normalement t'as pas besoin d'aller trafiquer dedans

ce tigcclib.h c'est comme stdio.h sur un pc, il est nécessaire pour tous les projets, pas spécial à un projet, donc tu le vois pas dans la liste des fichiers du projet courant

si tu veux des détails sur ce fichier, il te faut aller voir dans l'aide de tigcc, toutes les fonctions sont expliquées en détail.

d'ailleurs attention c'est pas "tigcclib.h" mais bien <tigcclib.h>

les <> signalent (en général) des fichiers include du système, pour tous les projets
les "" signalent des fichiers include qui existent seulement pour ton projet.