is mentioned by

Thm* Bij(T; T; Id)

[identity-biject]

In prior sections: fun 1

Try larger context: Graphs