Skip to content

chore(Combinatorics/SimpleGraph/Copy): replace file-wide @[expose] with selective exposure#38843

Open
FordUniver wants to merge 14 commits into
leanprover-community:masterfrom
FordUniver:chore/copy-expose
Open

chore(Combinatorics/SimpleGraph/Copy): replace file-wide @[expose] with selective exposure#38843
FordUniver wants to merge 14 commits into
leanprover-community:masterfrom
FordUniver:chore/copy-expose

Commits

Commits on Jun 13, 2026

Commits on Jul 8, 2026

Commits on Jul 9, 2026