Logipedia-Jumb

logic.decidable

logic.proj2

logic.proj1

logic.sym_not_eq

logic.not_to_not

logic.absurd

logic.eq_f2

logic.eq_f

logic.trans_eq

logic.eq_coerc

logic.rewrite_r

logic.sym_eq

logic.rewrite_l

logic.eq_ind_r

logic.eq_rect_r

logic.eq_ind

logic.refl

logic.eq