Template:Individual-TLP-paragraph-fr-6.01
6.01 La forme générale de l'opération [math]\displaystyle{ \Omega ' (\bar{\eta}) }[/math] est donc : [math]\displaystyle{ [\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ]) }[/math].
Ce qui est la forme générale du passage d'une proposition à une autre.