Iwasawa algebra

GPTKB entity