{{indexmenu_n>15760}}
====== rec-forall3 ======

<wrap mml-desc>forall/and/lt/power</wrap>

<wrap mml-tag>{{mml>}}</wrap>

<wrap mml-author>Author: MathML 2 Recomendation</wrap>