Skip to content

feat(Combinatorics/GraphLike): Change SimpleGraph files to use GraphLike#36971

Open
Jun2M wants to merge 114 commits into
leanprover-community:masterfrom
Jun2M:GraphLikeSimpleGraph
Open

feat(Combinatorics/GraphLike): Change SimpleGraph files to use GraphLike#36971
Jun2M wants to merge 114 commits into
leanprover-community:masterfrom
Jun2M:GraphLikeSimpleGraph

Commits

Commits on Mar 16, 2026

Commits on Mar 17, 2026

Commits on Mar 18, 2026

Commits on Mar 19, 2026

Commits on Mar 20, 2026

Commits on Mar 21, 2026

Commits on Mar 22, 2026

Commits on Mar 24, 2026

Commits on Mar 27, 2026

Commits on Apr 7, 2026

Commits on Apr 15, 2026

Commits on Apr 17, 2026

Commits on Apr 20, 2026

Commits on Apr 21, 2026

Commits on Apr 26, 2026

Commits on Apr 27, 2026

Commits on Apr 28, 2026

Commits on Apr 29, 2026

Commits on May 7, 2026

Commits on May 10, 2026

Commits on May 11, 2026

Commits on May 13, 2026