@misc{indiciae760e5ac27dbb,
  title = {An Automated Theorem Proving Framework for Information-Theoretic Results},
  author = {Cheuk Ting Li},
  year = {2022},
  url = {https://arxiv.org/abs/2101.12370},
  note = {Source identifier: 2101.12370}
}