Commit 2023-01-03 17:08 73c035d7

chore: Fix capitalisation in algebra.order.hom.basic (#1237) The port introduced more caps than necessary in the names. "nonnegative", "subadditive", "submultiplicative" and "nonarchimedean" are all one word each, so shouldn't get caps in the middle. SubAdditive and SubMultiplicative are particularly dangerous in my opinion, because they should be interpreted as saying that Sub is additive/multiplicative.