Theorem Std.Asymm.swap

Modification history

2026-01-05 15:18
Mathlib/Order/RelClasses.lean
chore(Order/Defs/Unbundled): deprecate `IsAsymm` in favor of core's `Std.Asymm` (#33503)
Added Std.Asymm.swapView on Github →