fact: Definition antisymmetric {G :TRRGraph} (y z : pr1 G) : UU := (y ≤ z) × (z ≤ y) → (z = y).
imports: UniMath.Foundations.PartB UniMath.Foundations.Propositions UniMath.Foundations.Sets UniMath.Foundations.HLevels UniMath.Combinatorics.WellOrderedSets UniMath.Combinatorics.OrderedSets UniMath.MoreFoundations.DecidablePropositions UniMath.MoreFoundations.Propositions