Types::TheoremType = GraphQL::ObjectType.define do
  name 'Theorem'
  description 'A theorem (proved conjecture)'

  implements Types::LocIdBaseType, inherit: true