fact: Definition conflict (t : R) : bool := match Rle_dec (Die t t) ConflictRange with | left _ => true | right _ => false end.
imports: Bool Reals trajectory_const rrho trajectory_def constants ycngftys ycngstys Omega