Attributes
. MR31578580325 . Names
Mpn
(1)