Structure SimpleGraph.IsTree

Modification history

2026-03-20 01:46

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

chore(Combinatorics/SimpleGraph): fix projection names for `IsTree` (#36808) …

Modified SimpleGraph.IsTree View on Github →

2023-03-01 16:36

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

feat: port Combinatorics.SimpleGraph.Acyclic (#2559)

Added SimpleGraph.IsTree View on Github →