| changeset 2442 | 1f9360daf6e1 |
| parent 2440 | 0a36825b16c1 |
| child 2454 | 9ffee4eb1ae1 |
| 2441:fc3e8f79e698 | 2442:1f9360daf6e1 |
|---|---|
15 thm lam.exhaust |
15 thm lam.exhaust |
16 thm lam.fv_defs |
16 thm lam.fv_defs |
17 thm lam.bn_defs |
17 thm lam.bn_defs |
18 thm lam.perm_simps |
18 thm lam.perm_simps |
19 thm lam.eq_iff |
19 thm lam.eq_iff |
20 thm lam.eq_iff[folded alphas] |
|
20 thm lam.fv_bn_eqvt |
21 thm lam.fv_bn_eqvt |
21 thm lam.size_eqvt |
22 thm lam.size_eqvt |
22 |
23 |
23 |
24 |
24 |
25 |