definition
theorem
- sttfa:cong/congruent_n_n.thm
- sttfa:cong/transitive_congruent.thm
- sttfa:cong/mod_mod.thm
- sttfa:cong/congruent_n_mod_n.thm
- sttfa:cong/eq_times_plus_to_congruent.thm
- sttfa:cong/divides_to_congruent.thm
- sttfa:cong/congruent_to_divides.thm
- sttfa:cong/let_clause_1034.thm
- sttfa:cong/let_clause_73.thm
- sttfa:cong/mod_times.thm
- sttfa:cong/congruent_times.thm