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