equal
deleted
inserted
replaced
66 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.inducts |
66 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.inducts |
67 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.distinct |
67 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.distinct |
68 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.supp(1-3,5-7,9-10) |
68 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.supp(1-3,5-7,9-10) |
69 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.fv[simplified mexp_body_defn_sexp_sbody_spec_ty_path_trm.supp(1-3,5-7,9-10)] |
69 thm mexp_body_defn_sexp_sbody_spec_ty_path_trm.fv[simplified mexp_body_defn_sexp_sbody_spec_ty_path_trm.supp(1-3,5-7,9-10)] |
70 |
70 |
71 equivariance alpha_trm_raw |
|
72 |
71 |
73 |
72 |
74 end |
73 end |
75 |
74 |
76 |
75 |