Trivial Regular Examples

This file provides the trivial regular-language witnesses ⊥ and ⊤.

theorem Language.isRegular_bot {α : Type u_1} : ⊥.IsRegular

The empty language is regular.

theorem Language.isRegular_top {α : Type u_1} : ⊤.IsRegular

The universal language is regular.