feat(Combinatorics/SimpleGraph/Finite): Set.ncard of neighborSet#40624

SnirBroshi wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:feature/simple-graph/ncard-neighborset-degreeSnirBroshi/mathlib4:feature/simple-graph/ncard-neighborset-degreeCopy head branch name to clipboard