Theorem IsTotal.swap

Modification history

2026-01-20 13:02

Mathlib/Order/RelClasses.lean

chore(Order/Defs/Unbundled): deprecate `IsTotal` in favor of core's `Std.Total` (#33797)

Deleted IsTotal.swap View on Github →

2022-11-18 03:37

Mathlib/Order/RelClasses.lean

feat: port Order.RelClasses (#560) …

Added IsTotal.swap View on Github →