Lefschetz fixed-point theorem

Etymology
Named after Solomon Lefschetz, who first stated it in 1926.

Proper noun

 * 1)  A formula that counts the fixed points of a continuous mapping from a compact topological space X to itself by means of traces of the induced mappings on the homology groups of X.