Generalizing a Mathematical Analysis Library in Isabelle/HOL | Publicación