Logipedia
Modules
About
FAQ
Search
Search
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