Theorem

Syntax

Theorem   =   theorem   Compact-Statement   .


See also


Home | Index of Syntax Items

Last modified: June 26, 2000