Theorem pairwise_fin_succ_iff

Modification history

2025-05-29 19:36
Mathlib/Logic/Pairwise.lean
feat: lemmas about `Orthonormal` and `Fin` (#25205) …
Added pairwise_fin_succ_iffView on Github →