from sympy.core.kind import Kind

class MatrixKind(Kind):
    def __new__(cls, element_kind=...): ...

def num_mat_mul(k1, k2): ...
def mat_mat_mul(k1, k2): ...