Logipedia
Modules
About
FAQ
Search
Search
connectives.equal_leibniz
fermat.permut_mod
permutation.axiom_invert_permut_body_S
bigops.ACop
nat.axiom_match_nat_type_S
connectives.ex
bool.bool
nat.axiom_plus
bigops.timesA
nat.sym_eq_times_body_S