Theorem Function.comp_id

Modification history

2025-06-03 08:51

Mathlib/Logic/Function/Defs.lean

chore: bump toolchain to v4.21.0-rc1 (#25384)

Deleted Function.comp_id View on Github →

2024-01-16 02:11

Mathlib/Init/Function.lean

chore(Function): rename some lemmas (#9738) …

Added Function.comp_id View on Github →