Modelling Differential Structures in Proof Assistants: The Graded Case | Publicación