TY - RPRT TI - Consistency between transitive relations and between cones AU - Tom Fischer PY - 2021 UR - https://arxiv.org/abs/2110.01392 ID - 2110.01392 ER -