Commit 2026-03-19 11:20 cd71996e

View on Github →

refactor(Data/Last): move Mathlib.Tactic.BicategoryLike.pairs to List.consecutivePairs (#35829) Moves:

  • Mathlib.Tactic.BicategoryLike.pairs -> List.consecutivePairs

Estimated changes