!4#5468 RepresentationTheory.GroupCohomology.Basic

Stream: PR reviews

[Amelia Livingston]

This file seems hard to fix and it's very slow :( I also won't have much of a chance to look at it for the next 2 days, so if anyone wants to help I'd be very grateful.