Theorem Order.Preimage.isStrictTotalOrder

Modification history

2026-09-13 23:47
Mathlib/Order/RelClasses.lean
feat: `Std.Total` instance for InvImage (#43326) …
Added Order.Preimage.isStrictTotalOrderView on Github →