Proving theorems inside sparse random sets

To upload material, you must first log in.