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-08.UTC:16:16:16.345569
=
MJD-54077.TAI:16:16:49.345569
=
LGT-4672311409345569e-6