Commit 2026-01-02 17:00 7d408917

View on Github →

chore(Order/Defs/Unbundled): deprecate IsSymm in favor of core's Std.Symm (#33325)

Estimated changes

modified theorem Multiset.Rel.countP_eq
modified theorem List.Nodup.pairwise_coe
modified theorem IsStrongAntichain.swap
modified theorem rel_imp_eq_of_rel_imp_le
modified theorem comm
modified theorem comm_of
modified theorem rel_congr
modified theorem rel_congr_left
modified theorem rel_congr_right
modified theorem symm
modified theorem symm_of