{"URL":"https://mathhub.eggtea.org/works/a-question-about-interfaces-not-an-unproved-t-f183d5c2/v/1","author":[{"literal":"MathHub demo fixtures"}],"id":"a-question-about-interfaces-not-an-unproved-t-f183d5c2-v1","issued":{"date-parts":[[2026]]},"publisher":"MathHub","title":"A question about interfaces, not an unproved theorem","type":"manuscript","version":"1"}