[Merged by Bors] - chore(Algebra/Order/Module/PositiveLinearMap): generalize `OrderHomClass.ofLinear`#29626

themathqueen wants to merge 4 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

themathqueen:chore_generalize_orderhomclassoflinearthemathqueen/mathlib4:chore_generalize_orderhomclassoflinearCopy head branch name to clipboard