from sympy.core.basic import Basic

def sub_pre(e) -> Basic: ...
def sub_post(e): ...