theorem

public under proposition 24

List Picture As a command

• bayes'-theorem
• bernoulli's-law
• binomial-theorem
• cap-theorem
• godel-incompleteness-theorem
• inclusion-exclusion-principle
• knaster-tarski-theorem
• lemma
• noisy-channel-coding-theorem
• nyquist-shannon-sampling-theorem
• pigeonhole-principle
• shannon-source-coding-theorem
• zorn's-lemma