Def PFun.fn

Modification history

2026-02-25 08:52

Mathlib/Data/PFun.lean

chore(*): reduce defeq abuse around `Set` (#35752)

Modified PFun.fn View on Github →

2023-02-02 11:02

Mathlib/Data/PFun.lean

feat: port data.pfun (#1179) …

Added PFun.fn View on Github →