Skip to content

Merge branch 'star_graph' of github.com:8e7/mathlib4 into star_graph

3a1e62f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(Combinatorics/SimpleGraph/Acyclic): define star graphs #38027

Merge branch 'star_graph' of github.com:8e7/mathlib4 into star_graph
3a1e62f
Select commit
Loading
Failed to load commit list.
post-or-update-summary-comment
succeeded Apr 14, 2026 in 1m 4s