Theorem pairwise_fin_succ_iff_of_isSymm

Modification history

2026-01-02 17:00
Mathlib/Logic/Pairwise.lean
chore(Order/Defs/Unbundled): deprecate `IsSymm` in favor of core's `Std.Symm` (#33325)
Modified pairwise_fin_succ_iff_of_isSymmView on Github →
2025-05-29 19:36
Mathlib/Logic/Pairwise.lean
feat: lemmas about `Orthonormal` and `Fin` (#25205) …
Added pairwise_fin_succ_iff_of_isSymmView on Github →