Commit 2025-11-20 16:02 c91c1573
View on Github →chore(Order/Defs/PartialOrder): fix typo in decidableEqofDecidableLE' (#31857)
This is a follow-up to #31816, fixing another typo in the same declaration.
decidableEqofDecidableLE' -> decidableEqOfDecidableLE'