Commit 2026-11-10 14:10 1efa1d35

View on Github →

chore(Combinatorics/SimpleGraph/Girth): golf egirth_top using cycleGraph (#41336) Golf egirth_top (#38529) using cycleGraph_isContained_iff (#35255)

Estimated changes