Preprocessing

Statistics

Metric	Count
Definitions `OrderType`, `findBestOrderInstance`, `instBEqOrderType`, `beq`, `instToStringOrderType`, `preprocessFacts`, `preprocessFactsLinear`, `preprocessFactsPartial`, `preprocessFactsPreorder`, `replaceBotTop`	10
Theorems `le_of_not_lt_le`, `not_lt_of_not_le`	2
Total	12

Name	Kind	Assumes	Proves	Validates	Depends On
`le_of_not_lt_le` 📖	—	`Preorder.toLT` `Preorder.toLE`	—	—	`not_lt_iff_le_imp_ge`
`not_lt_of_not_le` 📖	mathematical	`Preorder.toLE`	`Preorder.toLT`	—	`LT.lt.le`

Name	Category	Theorems
`beq` 📖	CompOp	—

---