Theorem_ledger.md

1 points | by taylorbuley 2 hours ago