On the Efficient Influence Function and the Efficient Score Function
Efficient influence functions and efficient score functions are representations of derivatives of maps. The invariance of the former under changes of parametrization, and the formula relating the efficient influence function for the projection of a parameter to the efficient score function, turn out to be immediate results of diagram chasing, rather than following from formal calculations.