Structure ContextFreeGrammar

Modification history

2025-02-10 11:41

Mathlib/Computability/ContextFreeGrammar.lean

chore(Computability/ContextFreeGrammar): remove unnecessary universe polymorphism (#21545) …

Added ContextFreeGrammar View on Github →