Proper noun
the Lefschetz fixed-point theorem (mathematics) 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.