@misc{a-question-about-interfaces-not-an-unproved-t-f183d5c2-v1,
  author = {MathHub demo fixtures},
  title = {A question about interfaces, not an unproved theorem},
  year = {2026},
  howpublished = {MathHub},
  version = {1},
  url = {https://mathhub.eggtea.org/works/a-question-about-interfaces-not-an-unproved-t-f183d5c2/v/1}
}