The Coq Library as a Theory Graph