<?xml version="1.0"?>
<div>:: <span class="kw">deftheorem </span>   defines <a href="classes5.html#K17" title="CLASSES5:func.17">Obj</a> <a onclick="hs(this)" href="javascript:()">CLASSES5:def 27 : <br/></a><span> for <font color="Olive" title="b1">C</font> being   <a href="classes5.html#V1" title="CLASSES5:attr.1">quintuple</a>   <a href="classes5.html#V10" title="CLASSES5:attr.10">StrCategory-like</a>   <a href="classes5.html#V11" title="CLASSES5:attr.11">Category-like</a>   <a href="hidden.html#M2" title="HIDDEN:mode.2">set</a>  holds   <a href="classes5.html#K17" title="CLASSES5:func.17">Obj</a> <font color="Olive" title="b1">C</font> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> <font color="Olive" title="b1">C</font> <a href="classes5.html#K2" title="CLASSES5:func.2">`1</a> ;<br/></span></div>
