overlay for coq/coq#12162
3 unresolved threads
3 unresolved threads
Compare changes
The PR coq/coq#12162 renames Bool.leb into Bool.le which is more coherent with the rest of the standard library since it has type bool -> bool -> Prop.
This generates possible clashes with Nat.le or Peano.le so that additional qualification is required.