Theorem SimpleGraph.Copy.toHom_apply

Modification history

2026-09-01 11:46

Mathlib/Combinatorics/SimpleGraph/Copy.lean

chore(Combinatorics/SimpleGraph): replace `α`,`β`,`γ` with `V`,`W`,`X`, etc (#43201) …

Modified SimpleGraph.Copy.toHom_apply View on Github →

2025-03-19 16:30

Mathlib/Combinatorics/SimpleGraph/Copy.lean

refactor(SimpleGraph/Copy): redefine `Copy` as a structure (#23090) …

Added SimpleGraph.Copy.toHom_apply View on Github →