Theorem List.Nat.map_swap_antidiagonal

Modification history

2023-01-19 10:36
Mathlib/Data/List/NatAntidiagonal.lean
chore: format by line breaks with long lines (#1529) …
Modified List.Nat.map_swap_antidiagonalView on Github →
2023-01-11 06:42
Mathlib/Data/List/NatAntidiagonal.lean
feat: Port/data.list.nat antidiagonal (#1474)
Added List.Nat.map_swap_antidiagonalView on Github →