definition
- sttfa:relation__well__founded__def/type_0.def
- sttfa:relation__well__founded__def/type_1.def
- sttfa:relation__well__founded__def/type_2.def
- sttfa:relation__well__founded__def/type_3.def
- sttfa:relation__well__founded__def/term_0.def
- sttfa:relation__well__founded__def/term_1.def
- sttfa:relation__well__founded__def/type_4.def
- sttfa:relation__well__founded__def/type_5.def
- sttfa:relation__well__founded__def/term_2.def
- sttfa:relation__well__founded__def/type_6.def
- sttfa:relation__well__founded__def/type_7.def
- sttfa:relation__well__founded__def/term_3.def
- sttfa:relation__well__founded__def/term_4.def
- sttfa:relation__well__founded__def/term_5.def
- sttfa:relation__well__founded__def/term_6.def
- sttfa:relation__well__founded__def/term_7.def
- sttfa:relation__well__founded__def/term_8.def
- sttfa:relation__well__founded__def/term_9.def
- sttfa:relation__well__founded__def/term_10.def
- sttfa:relation__well__founded__def/term_11.def
- sttfa:relation__well__founded__def/term_12.def
- sttfa:relation__well__founded__def/term_13.def
- sttfa:relation__well__founded__def/term_14.def
- sttfa:relation__well__founded__def/term_15.def
- sttfa:relation__well__founded__def/term_16.def
- sttfa:relation__well__founded__def/term_17.def
- sttfa:relation__well__founded__def/term_18.def
- sttfa:relation__well__founded__def/term_19.def
- sttfa:relation__well__founded__def/term_20.def
- sttfa:relation__well__founded__def/term_21.def
- sttfa:relation__well__founded__def/term_22.def
- sttfa:relation__well__founded__def/term_23.def
- sttfa:relation__well__founded__def/term_24.def
- sttfa:relation__well__founded__def/term_25.def
- sttfa:relation__well__founded__def/term_26.def
- sttfa:relation__well__founded__def/term_27.def
- sttfa:relation__well__founded__def/term_28.def
- sttfa:relation__well__founded__def/term_29.def
- sttfa:relation__well__founded__def/term_30.def
- sttfa:relation__well__founded__def/Relation_2EwellFounded.def
- sttfa:relation__well__founded__def/term_31.def
- sttfa:relation__well__founded__def/term_32.def
- sttfa:relation__well__founded__def/term_33.def
- sttfa:relation__well__founded__def/term_34.def
- sttfa:relation__well__founded__def/term_35.def
- sttfa:relation__well__founded__def/term_36.def
- sttfa:relation__well__founded__def/term_37.def
- sttfa:relation__well__founded__def/term_38.def
- sttfa:relation__well__founded__def/term_39.def
- sttfa:relation__well__founded__def/term_40.def
- sttfa:relation__well__founded__def/term_41.def
- sttfa:relation__well__founded__def/term_42.def
- sttfa:relation__well__founded__def/term_43.def
- sttfa:relation__well__founded__def/type_8.def
- sttfa:relation__well__founded__def/type_9.def
- sttfa:relation__well__founded__def/term_44.def
- sttfa:relation__well__founded__def/term_45.def
- sttfa:relation__well__founded__def/term_46.def
- sttfa:relation__well__founded__def/term_47.def
- sttfa:relation__well__founded__def/term_48.def
- sttfa:relation__well__founded__def/term_49.def
- sttfa:relation__well__founded__def/term_50.def
- sttfa:relation__well__founded__def/term_51.def
theorem
- sttfa:relation__well__founded__def/thm_0.thm
- sttfa:relation__well__founded__def/thm_1.thm
- sttfa:relation__well__founded__def/thm_2.thm
- sttfa:relation__well__founded__def/thm_3.thm
- sttfa:relation__well__founded__def/thm_4.thm
- sttfa:relation__well__founded__def/thm_5.thm
- sttfa:relation__well__founded__def/thm_6.thm
- sttfa:relation__well__founded__def/thm_7.thm
- sttfa:relation__well__founded__def/thm_8.thm
- sttfa:relation__well__founded__def/thm_9.thm
- sttfa:relation__well__founded__def/thm_10.thm
- sttfa:relation__well__founded__def/WF.thm