def EDT0LGrammar.IsLULT {T : Type u_1} {N : Type u_2} {H : Type u_3} [Fintype N] [Fintype H] (E : EDT0LGrammar T N H) [BEq (Symbol T N)] : Prop

Equations

• One or more equations did not get rendered due to their size.