Step * of Lemma interval-groupoid_wf

interval-groupoid() ∈ Groupoid
BY
ProveWfLemma }


Latex:


Latex:
interval-groupoid()  \mmember{}  Groupoid


By


Latex:
ProveWfLemma




Home Index