Contragredient representation

Summary