Preliminaries

Twelvefold_Way_Core

Equiv_Relations_on_Functions

Twelvefold_Way_Entry1

Twelvefold_Way_Entry2

Twelvefold_Way_Entry4

Twelvefold_Way_Entry5

Twelvefold_Way_Entry6

Twelvefold_Way_Entry7

Twelvefold_Way_Entry8

Twelvefold_Way_Entry9

Twelvefold_Way_Entry3

Twelvefold_Way_Entry10

Twelvefold_Way_Entry11

Twelvefold_Way_Entry12

Card_Bijections

Card_Bijections_Direct

Twelvefold_Way