| changeset 2120 | 2786ff1df475 |
| parent 2105 | e25b0fff0dd2 |
| 2119:238062c4c9f2 | 2120:2786ff1df475 |
|---|---|
29 thm trm_pat.induct |
29 thm trm_pat.induct |
30 thm trm_pat.distinct |
30 thm trm_pat.distinct |
31 thm trm_pat.fv[simplified trm_pat.supp(1-2)] |
31 thm trm_pat.fv[simplified trm_pat.supp(1-2)] |
32 |
32 |
33 |
33 |
34 equivariance alpha_trm_raw |
|
35 |
|
36 |
34 |
37 end |
35 end |
38 |
36 |
39 |
37 |
40 |
38 |