Theorem Tuple.bubble_sort_induction

Modification history

2023-08-10 19:52
Mathlib/Data/Fin/Tuple/BubbleSortInduction.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Tuple.bubble_sort_inductionView on Github →
2023-02-06 16:08
Mathlib/Data/Fin/Tuple/BubbleSortInduction.lean
feat: port Data.Fin.Tuple.BubbleSortInduction (#2107)
Added Tuple.bubble_sort_inductionView on Github →