Logipedia-Jumb

cong.congruent_times

cong.mod_times

cong.let_clause_73

cong.let_clause_1034

cong.congruent_to_divides

cong.divides_to_congruent

cong.eq_times_plus_to_congruent

cong.congruent_n_mod_n

cong.mod_mod

cong.transitive_congruent

cong.congruent_n_n

cong.congruent