Pages that link to "Item:Q3119463"

The following pages link to Automorphisms of types in certain type theories and representation of finite groups (Q3119463):

Displaying 1 item.

• Automorphisms of types and their applications (Q2307975) (← links)