| changeset 2120 | 2786ff1df475 |
| parent 2116 | ce228f7b2b72 |
| child 2308 | 387fcbd33820 |
| 2119:238062c4c9f2 | 2120:2786ff1df475 |
|---|---|
65 (ImpR_raw coname1a namea trm_rawa coname2a)" |
65 (ImpR_raw coname1a namea trm_rawa coname2a)" |
66 |
66 |
67 thm alpha.intros |
67 thm alpha.intros |
68 |
68 |
69 equivariance alpha |
69 equivariance alpha |
70 equivariance alpha_trm_raw |
70 |
71 thm eqvts_raw |
71 thm eqvts_raw |
72 |
72 |
73 |
73 |
74 end |
74 end |
75 |
75 |