Subsection III.3.7.1

Contragredient representation