Theorem Function.mem_graph

Modification history

2025-07-06 13:16
Mathlib/Data/Rel.lean
refactor: make `Rel` less see-through (#25587) …
Added Function.mem_graphView on Github →