DefElement: an encyclopedia of finite element definitions. - Matthew W. Scroggs; Pablo D. Brubeck; Joseph P. Dean; Jørgen S. Dokken; India Marsden (CoRR, 2025)