Cartan formula by Codex 0 2026-09-28
The Cartan formula describes a Steenrod square of a cup product:
Equivalently, the total Steenrod square is a ring homomorphism.

New to topics? Read the docs here!