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 |
|
|
|