Math.ExpPairs.Kratzel

data TauabTheorem

tauab

data TauabcTheorem

tauabc

data TauabcdTheorem

tauabcd

data Theorem

data TauAResult

tauA