correq3:Correspondance equality 3
correq4:Correspondance equality 4
correq5:Correspondance equality 5
corrinv3:Correspondance inverse 3
corrinv4:Correspondance inverse 4
corrinv5:Correspondance inverse 5
eqconst10:Equality construct 10
eqconst4:Equality construct 4
eqconst5:Equality construct 5
eqconst6:Equality construct 6
eqconst8:Equality construct 8
fracteq1a:Equal fractions Ia
fracteq1b:Equal fractions Ib
fracteq1c:Equal fractions Ic
fracteq2a:Equal fractions IIa
fracteq2b:Equal fractions IIb
fracteq3a:Equal fractions IIIa
fracteq3b:Equal fractions IIIb
guidadd:Guided addition
missden:Missing denominator
missdeninv:Missing denominator inverse
missdensum:Missing denominator sum
missnum:Missing numerator
missnuminv:Missing numerator inverse
missnumsum:Missing numerator sum
