azy" alt="Collaboration graph"/></div>
<map name="aproofs_1_1_prover_3_01_field_01_4_coll__map" id="aproofs_1_1_prover_3_01_field_01_4_coll__map">
<area shape="rect" title=" " alt="" coords="15,207,171,233"/>
<area shape="rect" href="classproofs_1_1_prover_layers.html" title=" " alt="" coords="22,117,164,158"/>
<area shape="poly" title=" " alt="" coords="96,173,96,207,90,207,90,173"/>
<area shape="rect" href="classproofs_1_1_g_f2__128.html" title=" " alt="" coords="5,5,181,46"/>
<area shape="poly" title=" "