Source Code subst

Jan Burse, created Aug 19. 2019

1 Predikate ordered:subst/4

2 Predikate variable:subst/4

3 Predikate polynom:subst/4

4 Predikate sys_poly_subst/5

5 Predikate sys_coeff_subst/7

6 Predikate fraction:subst/4

Comments