Commit 2026-03-20 01:46 27b38039

View on Github →

chore(Combinatorics/SimpleGraph): fix projection names for IsTree (#36808) Both isConnected and IsAcyclic were wrong. They should have been connected and isAcyclic respectively.

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

modified structure SimpleGraph.IsTree