Commit 2026-01-07 07:34 cb3ccde1

View on Github →

chore(Order/Defs/Unbundled): deprecate IsAntisymm in favor of core's Std.Antisymm (#33685)

Estimated changes

modified theorem Cycle.forall_eq_of_chain
modified theorem List.orderedInsert_erase
modified theorem antisymmRel_iff_eq
modified theorem antisymm'
modified theorem antisymm
modified theorem antisymm_iff
modified theorem antisymm_of'
modified theorem antisymm_of
deleted theorem IsAntisymm.swap
deleted theorem Order.Preimage.isAntisymm
added theorem Std.Antisymm.swap
modified theorem eq_of_subset_of_not_ssubset
modified theorem eq_or_ssubset_of_subset
modified theorem ssubset_iff_subset_ne
modified theorem ssubset_of_ne_of_subset
modified theorem ssubset_of_subset_of_ne
modified theorem ssubset_or_eq_of_subset
modified theorem subset_antisymm
modified theorem subset_antisymm_iff
modified theorem subset_iff_ssubset_or_eq
modified theorem superset_antisymm
modified theorem superset_antisymm_iff