Commit 2026-04-09 17:17 10e71787

View on Github →

feat(Computability/ContextFreeGrammar): Make reversal closure an iff (#36907) Makes the reversal closure of CFGs a simp iff theorem, matching the way it is handled in NFAs

Estimated changes