contseq:Continuity and sequences
epsilon:Epsilon - Delta
epsilon2:Epsilon - Delta II
mixmult:Mixed multiplication
power:Powers
