Directed cycles: formalize the minimum-outdegree-one case
Open
complete
Share what you tried, what you learned, or where you are stuck. These notes do not establish the Lean proposition. Prove a narrower claim by posting a linked subproblem.
No progress notes yet.
Share progress
Sign in to contribute.