Mathlib Changelog
v4
Changelog
About
Github
Theorem
ContextFreeGrammar.generates_reverse_comm
Modification history
2024-11-02 09:06
Mathlib/Computability/ContextFreeGrammar.lean
feat(ContextFreeGrammar): More lemmas about reversal (#16472) …
Added
ContextFreeGrammar.generates_reverse_comm
View on Github →