from typing import Literal

from sympy.polys.domains.domain import Domain
from sympy.utilities import public

class CharacteristicZero(Domain):
    has_CharacteristicZero = ...
    def characteristic(self) -> Literal[0]: ...