define pyk of lemma switchTerms(x-y
define tex of lemma switchTerms(x-y
define statement of lemma switchTerms(x-y
define proof of lemma switchTerms(x-y
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