Connecting and comparing across student strategies has been shown to be productive for students in elementary and secondary classrooms. We have recently been working on a project converting such practices from the K-12 level to the undergraduate classroom. In this paper, we share a particular instantiation of this practice in an abstract algebra setting. Students compare across two common proof approaches to showing that the Abelian property is preserved by isomorphism. We share a complete sample lesson where students make sense of the theorem and the two proof approaches, then leverage the differences between them in order to modify both proofs and mathematical statements. We conclude with the students' reflections on the activities, and share our learnings from adapting best practices from K-12 to this new setting.