Def Finset.finAntidiagonal.aux

Modification history

2026-04-19 03:16

Mathlib/Algebra/Order/Antidiag/Pi.lean

chore: remove backward.proofsInPublic (#38207)

Added Finset.finAntidiagonal.aux View on Github →