| changeset 2104 | 2205b572bc9b |
| parent 2082 | 0854af516f14 |
| child 2105 | e25b0fff0dd2 |
| 2103:e08e3c29dbc0 | 2104:2205b572bc9b |
|---|---|
25 thm permute_weird_raw.simps[no_vars] |
25 thm permute_weird_raw.simps[no_vars] |
26 thm alpha_weird_raw.intros[no_vars] |
26 thm alpha_weird_raw.intros[no_vars] |
27 thm fv_weird_raw.simps[no_vars] |
27 thm fv_weird_raw.simps[no_vars] |
28 |
28 |
29 declare permute_weird_raw.simps[eqvt] |
29 declare permute_weird_raw.simps[eqvt] |
30 declare alpha_gen_eqvt[eqvt] |
|
31 equivariance alpha_weird_raw |
30 equivariance alpha_weird_raw |
32 |
31 |
33 |
32 |
34 end |
33 end |
35 |
34 |