fact: Definition well_founded_lift_gtb_with_max : well_founded (Basics.flip lift_ltb_with_max).
imports: Fiat.Common.Coq__8_4__8_5__Compat Coq.MSets.MSetInterface Coq.MSets.MSetFacts Coq.MSets.MSetProperties Fiat.Common.Wf Fiat.Common.LogicFacts Fiat.Common.Instances Fiat.Common.NatFacts Fiat.Common.MSetExtensions Fiat.Common