decreased max line width
Finished (?) a proof of the equivalence of two types of steenrod operations on Lie algebra cohomology.