Theorem Finset.swap_mem_antidiagonal

Modification history

2024-07-09 09:09
Mathlib/Algebra/Order/Antidiag/Prod.lean
chore: add missing spaces around = or := (#14554) …
Modified Finset.swap_mem_antidiagonalView on Github →
2023-10-31 06:01
Mathlib/Data/Finset/Antidiagonal.lean
feat(Data.Finset.Antidiagonal): generalize `Finset.Nat.antidiagonal` (#7486) …
Added Finset.swap_mem_antidiagonalView on Github →