fact: Variables (eq_refl : Reflexive eq) (le_eq : Proper (eq ==> eq ==> iff) le) (glb_equiv : Proper (equiv ==> eq) glb) (lub_equiv : Proper (equiv ==> eq) lub).
imports: CoLoR(LogicUtil RelUtil SetUtil) Coq(Morphisms Basics)