mathlib3
fix(data/list/min_max): docs typo
#1504
Merged

Loading