L (axiom)
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTotal.leb_total [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBoolIsTransitive.leb_trans [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeBool_Le.leb_le [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LeIsLtEq.le_lteq [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtBool_Lt.ltb_lt [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]
LtIsTotal.lt_total [in Coq.Structures.Orders]