equal
deleted
inserted
replaced
51 declare mod_div_trivial[algebra] |
51 declare mod_div_trivial[algebra] |
52 declare mod_mod_trivial[algebra] |
52 declare mod_mod_trivial[algebra] |
53 declare div_by_0[algebra] |
53 declare div_by_0[algebra] |
54 declare mod_by_0[algebra] |
54 declare mod_by_0[algebra] |
55 declare zmod_zdiv_equality[symmetric,algebra] |
55 declare zmod_zdiv_equality[symmetric,algebra] |
56 declare zdiv_zmod_equality[symmetric, algebra] |
56 declare div_mod_equality2[symmetric, algebra] |
57 declare div_minus_minus[algebra] |
57 declare div_minus_minus[algebra] |
58 declare mod_minus_minus[algebra] |
58 declare mod_minus_minus[algebra] |
59 declare div_minus_right[algebra] |
59 declare div_minus_right[algebra] |
60 declare mod_minus_right[algebra] |
60 declare mod_minus_right[algebra] |
61 declare div_0[algebra] |
61 declare div_0[algebra] |