Step
*
of Lemma
interval-groupoid_wf
interval-groupoid() ∈ Groupoid
BY
{ ProveWfLemma }
Latex:
Latex:
interval-groupoid()  \mmember{}  Groupoid
By
Latex:
ProveWfLemma
Home
Index