Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-02 21:54
9c02edae
View on Github →
chore: some cleanup of Combinatorics.SimpleGraph.Acyclic (
#2585
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Acyclic.lean
modified
def
SimpleGraph.IsAcyclic