chore(order/basic): change "minimum" in descriptions to "minimal" (#2789)
chore(order/basic): change "minimum" in descriptions to "minimal" (#2789)





leanprover-community/mathlib,leanprover-community/mathlib