Theorem PFun.preimage_inter

Modification history

2026-10-13 08:04
Mathlib/Data/PFun.lean
feat(Data/PFun): add lemmas for ran, restrict, map, image and preimage (#41830) …
Modified PFun.preimage_interView on Github →
2023-02-02 11:02
Mathlib/Data/PFun.lean
feat: port data.pfun (#1179) …
Added PFun.preimage_interView on Github →