Theorem MonoidHom.exists_mulEquiv_mrange_eq_mgraph

Modification history

2024-11-25 15:32
Mathlib/Algebra/Group/Graph.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added MonoidHom.exists_mulEquiv_mrange_eq_mgraphView on Github →