Definition of "pushforward"

pushforward