Step * of Lemma mRuleallI_wf

[var:ℤ]. (allI with var ∈ mFOLRule())
BY
DepprodCoDatatypeConstructorWf `mFOLRule_size` }


Latex:


\mforall{}[var:\mBbbZ{}].  (allI  with  var  \mmember{}  mFOLRule())


By

DepprodCoDatatypeConstructorWf  `mFOLRule\_size`




Home Index