Generating elements for B_dR^+

From MaRDI portal