@misc{indiciae00d39ac478b0,
  title = {Acceptable Complexity Measures of Theorems},
  author = {Bruno Grenet},
  year = {2009},
  url = {https://arxiv.org/abs/0910.0045},
  note = {Source identifier: 0910.0045}
}