is mentioned by

Thm* g:(ABC). (Id,Id) o g = g

[comp2_id_l]

In prior sections: fun 1 list 1

Try larger context: Graphs