Skip to content

Instantly share code, notes, and snippets.

@pavly-gerges

pavly-gerges/counting-2.md

Created March 4, 2025 11:59
Show Gist options
  • Save pavly-gerges/c750be68f6336d7ef52de321e17f6d8a to your computer and use it in GitHub Desktop.
Save pavly-gerges/c750be68f6336d7ef52de321e17f6d8a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
counting-2.md

Formal derivation of combinations

Important

Theorems required to prove:

image image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment