Logipedia-Jumb

leibniz.leibniz

exp.exp_body

nat.eq_eqb_body_O

nat.not_eq_O_S

fact.axiom_fact

nat.not_lt_to_le

logic.absurd

nat.eq_eqb

connectives.match_ex_prop

permutation.injn