Logipedia-Jumb

fact.fact

fact.sym_eq_fact_body_S

fact.eq_fact_body_S

fact.axiom_fact_body_S

fact.sym_eq_fact_body_O

fact.eq_fact_body_O

fact.axiom_fact_body_O

fact.sym_eq_fact

fact.eq_fact

fact.axiom_fact

fact.fact_body