Def SimpleGraph.IsAcyclic

Modification history

2023-03-02 21:54

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

chore: some cleanup of Combinatorics.SimpleGraph.Acyclic (#2585)

Modified SimpleGraph.IsAcyclic View on Github →

2023-03-01 16:36

Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

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

Added SimpleGraph.IsAcyclic View on Github →