Introductions of functions

Introductions of functions

Are there the introductions of all those  inner functions?