Logipedia
Modules
About
FAQ
Search
Search
nat.eq_minus_S_pred
nat.eq_times_body_S
bigops.bigop_Sfalse
fermat.eq_fact_pi_p
nat.minus_S_S
nat.lt_times
logic.rewrite_l
gcd.divides_mod_to_divides
connectives.equal
nat.eq_plus_body_S