ontohub/ontohub-models

# frozen_string_literal: true

# The Theorem is a proved conjecture
class Theorem < Conjecture
end