Equivariant_cohomology loading ...