Commit 2026-09-01 11:46 0fcbe7ed

View on Github →

chore(Combinatorics/SimpleGraph): replace α,β,γ with V,W,X, etc (#43201) Replaces α,β,γ with V,W,X, etc. throughout Copy.lean

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Copy.lean

modified theorem SimpleGraph.Copy.coe_comp

modified theorem SimpleGraph.Copy.coe_mk

modified theorem SimpleGraph.Copy.coe_toHom

modified def SimpleGraph.Copy.comp

modified theorem SimpleGraph.Copy.comp_apply

modified theorem SimpleGraph.Copy.ext

modified theorem SimpleGraph.Copy.injective

modified def SimpleGraph.Copy.mapEdgeSet

modified def SimpleGraph.Copy.mapNeighborSet

modified def SimpleGraph.Copy.toEmbedding

modified theorem SimpleGraph.Copy.toHom_apply

modified def SimpleGraph.Copy.topEmbedding

modified structure SimpleGraph.Copy

modified theorem SimpleGraph.IsContained.mono_left

modified theorem SimpleGraph.IsContained.mono_right

modified theorem SimpleGraph.IsContained.of_isEmpty

modified theorem SimpleGraph.IsContained.trans'

modified theorem SimpleGraph.IsContained.trans

modified theorem SimpleGraph.bot_isContained_iff_card_le

modified theorem SimpleGraph.free_bot

modified theorem SimpleGraph.free_congr

modified theorem SimpleGraph.free_congr_left

modified theorem SimpleGraph.free_congr_right

modified theorem SimpleGraph.isContained_congr

modified theorem SimpleGraph.isContained_congr_left

modified theorem SimpleGraph.isContained_congr_right

modified theorem SimpleGraph.not_free