In the diagram below, line segment AB is parallel to line segment CD. A transversal line EF intersects these parallel lines, creating multiple angles. If angle AEF measures 35 degrees and angle DEF is the corresponding angle to angle AEF, what is the measure of angle DEF?