| changeset 2064 | 2725853f43b9 |
| parent 2031 | d361a4699176 |
| child 2104 | 2205b572bc9b |
| 2062:65bdcc42badd | 2064:2725853f43b9 |
|---|---|
70 |
70 |
71 declare permute_trm_raw.simps[eqvt] |
71 declare permute_trm_raw.simps[eqvt] |
72 declare alpha_gen_eqvt[eqvt] |
72 declare alpha_gen_eqvt[eqvt] |
73 |
73 |
74 equivariance alpha |
74 equivariance alpha |
75 equivariance alpha_trm_raw |
|
75 thm eqvts_raw |
76 thm eqvts_raw |
76 |
77 |
77 |
78 |
78 end |
79 end |
79 |
80 |