Theorem Finset.finset_congr_piAntidiag_eq_antidiag

Modification history

2026-08-11 15:45
Mathlib/Algebra/Order/Antidiag/Pi.lean
chore: improve `Set` / `Finset` congruence API (#42640) …
Added Finset.finset_congr_piAntidiag_eq_antidiagView on Github →