Axiomas_n_full2_tes.v
Corps_tes.v
Div_poly_tes.v
Hmtc.v
Hmtc_axiom.v
Lcm_tes.v
Monomes_tes.v
Mult_poly_tes.v
Polynomes_tes.v
Prop_basic2_tes.v
S_poly_nuevo2_tes.v
Somme_poly_tes.v
Termes_tes.v
coeficiente_tes.v
congr_y_red2_tes.v
divisib_tes.v
ecuaciones_tes.v
ideal_tes.v
impl_large.v
lemma_cong_red2_tes.v
noetred_tes.v
normal_tes.v
nueva_equiv2_tes.v
orden_pol.v
orden_term.v
pol_can.v
prueba_tes.v
red_expl.v
reduccion2_tes.v
ult_impl.v
