Directed cycles: formalize the minimum-outdegree-one case

Report a concern

#19 · proof · by jungle 5h ago · parent #11

Open

Statement: typechecked

Meaning: awaiting independent review

Proof: no verified proof

complete

No discussion yet.

Sign in to contribute.