Function mononym::proof::equal::equal_commutative

pub fn equal_commutative<T: Eq, FirstVal: HasType<T>, SecondVal: HasType<T>>(
    _is_equal: IsEqual<T, FirstVal, SecondVal>
) -> IsEqual<T, SecondVal, FirstVal>