Proof Assignments
Theorem |
Assigned to |
|
Theorem |
Assigned to |
|
Theorem |
Assigned to |
2.34 |
Carrico |
|
3.28 |
Thomas |
|
4.38 |
Fugate |
2.35 |
Gorman |
|
3.29 |
Weathers |
|
4.39 |
Claus |
2.37 |
Fugate |
|
4.1 |
Fugate |
|
4.40 |
deVerges |
2.38 |
Nguyen |
|
4.2 |
Wendt |
|
4.41 |
Carrico |
2.41 |
Selvanayagam |
|
4.3 |
Carrico |
|
4.42 |
Lilly |
2.42 |
Sparks |
|
4.4 |
Claus |
|
5.1 |
Mueller |
2.43 |
Lilly |
|
4.5 |
deVerges |
|
5.2 |
Gorman |
2.44 |
Claus |
|
4.6 |
Goodwyn |
|
5.3 |
Nguyen |
3.1 |
Goodwyn |
|
4.8 |
Gorman |
|
5.4 |
Goodwyn |
3.2 |
Thomas |
|
4.9 |
Lilly |
|
5.5 |
Selvanayagam |
3.3 |
Wendt |
|
4.10 |
Mueller |
|
5.6 |
Fugate |
3.4 |
Weathers |
|
4.11 |
Nguyen |
|
5.7 |
Sparks |
3.5 |
Mueller |
|
4.12 |
Selvanayagam |
|
5.8 |
deVerges |
3.6 |
Sparks |
|
4.13 |
Sparks |
|
6.1 |
Thomas |
3.7 |
deVerges |
|
4.14 |
Thomas |
|
6.2 |
Claus |
3.8 |
Mueller |
|
4.15 |
Weathers |
|
6.3 |
Weathers |
3.9 |
Gorman |
|
4.16 |
Wendt |
|
6.4 |
Carrico |
3.10 |
Lilly |
|
4.18 |
Carrico |
|
6.5 |
Wendt |
3.11 |
Claus |
|
4.19 |
Claus |
|
6.6 |
Mueller |
3.12 |
deVerges |
|
4.20 |
deVerges |
|
6.7 |
Carrico |
3.13 |
Carrico |
|
4.21 |
Fugate |
|
6.8 |
Nguyen |
3.14 |
Fugate |
|
4.22 |
Goodwyn |
|
6.9 |
Claus |
3.15 |
Nguyen |
|
4.23 |
Gorman |
|
6.10 |
Selvanayagam |
3.16 |
Goodwyn |
|
4.25 |
Wendt |
|
6.11 |
deVerges |
3.17 |
Weathers |
|
4.26 |
Weathers |
|
6.12 |
Sparks |
3.18 |
Selvanayagam |
|
4.27 |
Thomas |
|
6.13 |
Fugate |
3.19 |
Thomas |
|
4.31 |
Sparks |
|
6.14 |
Thomas |
3.20 |
Wendt |
|
4.32 |
Nguyen |
|
6.15 |
Goodwyn |
3.22 |
Lilly |
|
4.33 |
Selvanayagam |
|
6.16 |
Weathers |
3.24 |
Mueller |
|
4.34 |
Mueller |
|
6.17 |
Gorman |
3.25 |
Nguyen |
|
4.35 |
Lilly |
|
6.18 |
Wendt |
3.26 |
Selvanayagam |
|
4.36 |
Gorman |
|
6.19 |
Lilly |
3.27 |
Sparks |
|
4.37 |
Goodwyn |
|
|
|