chore(Data/List/MinMax): use to_dual#41559

JovanGerb wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

JovanGerb:Jovan-to_dual-List.maxJovanGerb/mathlib4:Jovan-to_dual-List.maxCopy head branch name to clipboard