equal
deleted
inserted
replaced
381 zdiv_zadd_self2 -> div_add_self2 |
381 zdiv_zadd_self2 -> div_add_self2 |
382 zdiv_zmult_self2 -> div_mult_self1_is_id |
382 zdiv_zmult_self2 -> div_mult_self1_is_id |
383 zdvd_triv_left -> dvd_triv_left |
383 zdvd_triv_left -> dvd_triv_left |
384 zdvd_triv_right -> dvd_triv_right |
384 zdvd_triv_right -> dvd_triv_right |
385 zdvd_zmult_cancel_disj -> dvd_mult_cancel_left |
385 zdvd_zmult_cancel_disj -> dvd_mult_cancel_left |
|
386 zmod_eq0_zdvd_iff -> dvd_eq_mod_eq_0[symmetric] |
386 zmod_zadd_left_eq -> mod_add_left_eq |
387 zmod_zadd_left_eq -> mod_add_left_eq |
387 zmod_zadd_right_eq -> mod_add_right_eq |
388 zmod_zadd_right_eq -> mod_add_right_eq |
388 zmod_zadd_self1 -> mod_add_self1 |
389 zmod_zadd_self1 -> mod_add_self1 |
389 zmod_zadd_self2 -> mod_add_self2 |
390 zmod_zadd_self2 -> mod_add_self2 |
390 zmod_zdiff1_eq -> mod_diff_eq |
391 zmod_zdiff1_eq -> mod_diff_eq |