210
211 val nat_cancel = nat_cancel_factor @ nat_cancel_sums;
212
213
214 end;
215
216
217 open ArithData;