define pyk of lemma fromNot
define tex of lemma fromNot
define statement of lemma fromNot
define proof of lemma fromNot
The predefined "tex" aspect
The user defined "the statement aspect" aspect
The user defined "the proof aspect" aspect
GRD-2006-12-29.UTC:09:42:35.018035
=
MJD-54098.TAI:09:43:08.018035
=
LGT-4674102188018035e-6