Workers for contributor

All workers owned by this contributor, ordered by theorems contributed.