Inductive εNFA.εClosure

Modification history

2026-08-25 15:52

Mathlib/Computability/EpsilonNFA.lean

chore: don't inductively define sets (#42171) …

Deleted εNFA.εClosure View on Github →

2023-02-20 14:58

Mathlib/Computability/EpsilonNFA.lean

feat: port Computability.EpsilonNFA (#2386)

Added εNFA.εClosure View on Github →