Mathlib Changelog
v4
Changelog
About
Github
Theorem
MonoidHom.mem_graph
Modification history
2024-12-02 12:55
Mathlib/Algebra/Group/Graph.lean
chore(GroupTheory/Goursat): fix typos (#19686) …
Modified
MonoidHom.mem_graph
View on Github →
2024-11-25 15:32
Mathlib/Algebra/Group/Graph.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added
MonoidHom.mem_graph
View on Github →