Aqui encontras todos os artigos com provas em tweets!
As provas em tweets são artigos com provas mesmo muito curtas de factos matemáticos.
Vou provar que, se um conjunto tiver \(n\) elements, então esse conjunto tem exatamente \(2^n\) subconjuntos.
O tamanho importa em codegolf.stackexchange.com.
