Esse erro aparece por causa do p->prox no seu cliente. Esse tipo de coisa não pode aparecer no cliente. O cliente não sabe (e nem deve saber!) que um polinômio é uma lista ligada e muito menos que as células da lista ligada tem um campo prox.
Não copie o typedef do polinomio.c para o cliente.c! Em vez disso, faça o seu cliente usar somente as funções da interface da biblioteca. No caso da função le_polinomio, faça-a construir um polinômio somando os monômios correspondentes aos termos desse polinômio (usando a função soma, que está na interface da biblioteca).
Toda a manipulação de listas encadeadas deve estar dentro do arquivo biblioteca.c! É por isso que o arquivo visto pelos clientes (o arquivo polinomio.h) não contém a definição da estrutura Termo!
Forum