round.scalahott.LinNormBound" id="provingground.scalahott.LinNormBound" class="extype">LinNormBound</a></span>)</span><span class="result">: <a href="LinNormBound.html" name="provingground.scalahott.LinNormBound" id="provingground.scalahott.LinNormBound" class="extype">LinNormBound</a></span></span><div class="fullcomment"><dl class="attributes block"><dt>Definition Classes</dt><dd><a href="LinNormBound.html" name="provingground.scalahott.LinNormBound" id="provingground.scalahott.LinNormBound" class="extype