n class="modifier"></span> <span class="kind">lazy val</span></span> <span class="symbol"><span class="name">theorem</span><span class="result">: <a href="QField$$Pos.html" name="provingground.scalahott.QField.Pos" id="provingground.scalahott.QField.Pos" class="extype">Pos</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">LinNorm