| changeset 2487 | fbdaaa20396b |
| parent 2486 | b4ea19604b0b |
| child 2490 | 320775fa47ca |
| 2486:b4ea19604b0b | 2487:fbdaaa20396b |
|---|---|
33 thm single_let.fv_bn_eqvt |
33 thm single_let.fv_bn_eqvt |
34 thm single_let.size_eqvt |
34 thm single_let.size_eqvt |
35 thm single_let.supports |
35 thm single_let.supports |
36 thm single_let.fsupp |
36 thm single_let.fsupp |
37 thm single_let.supp |
37 thm single_let.supp |
38 |
38 thm single_let.size |
39 |
39 |
40 |
40 |
41 |
41 |
42 |
42 |
43 end |
43 end |