[Merged by Bors] - chore(Algebra/Order/Module/PositiveLinearMap): generalize OrderHomClass.ofLinear
#113903
Triggered via pull request
September 15, 2025 14:01
themathqueen
Status
Success
Total duration
3m 29s
Artifacts
–
lint_and_suggest_pr.yml
on: pull_request
Lint style
3m 26s