An axiomatic proof of Stiefel’s conjecture
John D. Blanton, Clint McCrory · Proceedings of the American Mathematical Society · 1979
Stiefel’s combinatorial formula for the Stiefel-Whitney homology classes of a smooth manifold is proved, by verifying that the classes defined by his formula satisfy axioms which characterize the Stiefel-Whitney classes.