chore(Order/Hom/Basic): fix EquivLike OrderIso instance diamond#38559

SnirBroshi wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:feature/order/delete-order-iso-equiv-likeSnirBroshi/mathlib4:feature/order/delete-order-iso-equiv-likeCopy head branch name to clipboard