Theorem SimpleGraph.support_induce_subset_coe_preimage_support

Modification history

2026-04-03 20:46
Mathlib/Combinatorics/SimpleGraph/Maps.lean
feat(Combinatorics/SimpleGraph/Maps): lemmas about support (#35615)
Added SimpleGraph.support_induce_subset_coe_preimage_supportView on Github →