Theorem NFA.cons_mem_acceptsFrom

Modification history

2025-11-26 13:03

Mathlib/Computability/NFA.lean

feat(Computability/NFA): NFA acceptsFrom definitions and lemmas (#31038) …

Added NFA.cons_mem_acceptsFrom View on Github →