Theorem Language.IsRegular.of_finite_range_leftQuotient

Modification history

2025-01-20 15:19
Mathlib/Computability/MyhillNerode.lean
feat: Myhill–Nerode theorem (#11311) …
Added Language.IsRegular.of_finite_range_leftQuotientView on Github →