minor
shuffling
finished collapsing steenrod operations proof
minor
deleted old proof attempt