hints (<link linkend="command_alias">aliases</link>).
On the contrary, theorem and definitions declared in a file can be
immediately used without including it.</para>
hints (<link linkend="command_alias">aliases</link>).
On the contrary, theorem and definitions declared in a file can be
immediately used without including it.</para>