Theorem Function.comp_id

Modification history

2024-01-16 02:11
Mathlib/Init/Function.lean
chore(Function): rename some lemmas (#9738) …
Added Function.comp_idView on Github →