Math.ExpPairs.Kratzel
data TauabTheorem
tauab
data TauabcTheorem
tauabc
data TauabcdTheorem
tauabcd
data Theorem
data TauAResult
tauA