Theorem Function.id_comp

Modification history

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