Logipedia
Modules
About
FAQ
Search
Search
permutation.permut
nat.minus_le_minus_minus_comm
primes.divides_n_n
div_mod.axiom_div_aux_body_O
logic.eq
div_mod.sym_eq_mod_aux_body_O
connectives.I
bool.andb_true_r
nat.le_plus_to_le
nat.commutative_times