mathlib

e6205190 - feat(order/hom/*): more superclass instances for `order_iso_class` (#12889)

feat(order/hom/*): more superclass instances for `order_iso_class` (#12889) * Weaken hypotheses on `order_hom_class` and some subclasses * Add more instances deriving specific order hom classes from `order_iso_class`