Theorem SimpleGraph.Subgraph.inclusion.injective

Modification history

2026-03-06 15:35

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

feat(SimpleGraph/Subgraph): small things about `spanningCoe` and a small golf (#35331)

Modified SimpleGraph.Subgraph.inclusion.injective View on Github →

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

feat: port Combinatorics.SimpleGraph.Subgraph (#2495)

Added SimpleGraph.Subgraph.inclusion.injective View on Github →