Logipedia-Jumb

cong.transitive_congruent

primes.quotient

logic.absurd

primes.divides_to_le

cong.mod_mod

logic.sym_eq

div_mod.div_aux

relations.injective

nat.eq_to_eqb_true

nat.le_times