Theorem Set.exists_eq_mgraphOn_univ

Modification history

2025-03-20 16:39
Mathlib/Data/Set/Function.lean
chore(Data/Set): split long file `Function.lean` (#23149) …
Modified Set.exists_eq_mgraphOn_univView on Github →
2024-11-25 15:32
Mathlib/Data/Set/Function.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added Set.exists_eq_mgraphOn_univView on Github →