Theorem Function.comp_def

Modification history

2023-11-17 05:53

Mathlib/Init/Function.lean

chore: bump to v4.3.0-rc2 (#8366) …

Deleted Function.comp_def View on Github →

2023-09-26 11:46

Mathlib/Init/Function.lean

feat: Sigma-algebra generated by a singleton (#2513) …

Added Function.comp_def View on Github →