| changeset 2104 | 2205b572bc9b |
| parent 2082 | 0854af516f14 |
| child 2105 | e25b0fff0dd2 |
| 2103:e08e3c29dbc0 | 2104:2205b572bc9b |
|---|---|
34 (*thm trm_lts.supp*) |
34 (*thm trm_lts.supp*) |
35 thm trm_lts.fv[simplified trm_lts.supp(1-2)] |
35 thm trm_lts.fv[simplified trm_lts.supp(1-2)] |
36 |
36 |
37 |
37 |
38 declare permute_trm_raw_permute_lts_raw.simps[eqvt] |
38 declare permute_trm_raw_permute_lts_raw.simps[eqvt] |
39 declare alpha_gen_eqvt[eqvt] |
|
40 |
39 |
41 equivariance alpha_trm_raw |
40 equivariance alpha_trm_raw |
42 |
41 |
43 |
42 |
44 |
43 |