A Rocq Formalization of Simplicial Lagrange Finite Elements — Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine | Kutubxona