#include <dune/geometry/genericgeometry/referenceelements.hh>
References Dune::GenericGeometry::ReferenceDomain< Topology >::corner(), Dune::GenericGeometry::ReferenceElement< Topology, ctype >::dimension, and Dune::GenericGeometry::ReferenceElement< Topology, ctype >::numCorners.