Commit 2025-02-21 11:42 f4084b19

chore: make arg in HeightOneSpectrum.valuation explicit (#22139) Make the K argument of HeightOneSpectrum.valuation explicit for the following reasons

• present cases of v.valuation (x : K) -> v.valuation K x
• a later PR defines the WithVal type synonym for K, and K cannot be inferred from v.valuation, so this will avoid writing either WithVal (v.valuation : Valuation K _) or WithVal (v.valuation (K := K))