@misc{from-a-short-proof-to-a-reusable-insight-55bf7b15-v1,
  author = {MathHub demo fixtures},
  title = {From a short proof to a reusable insight},
  year = {2026},
  howpublished = {MathHub},
  version = {1},
  url = {https://mathhub.eggtea.org/works/from-a-short-proof-to-a-reusable-insight-55bf7b15/v/1}
}