theorem Regex.Syntax.Parser.Ast.toRegex_disjoint (ast : Ast) : ast.toRegex.Disjoint

theorem Regex.Syntax.Parser.Ast.toRegex_group_of_group (ast : Ast) : ∃ (e : Data.Expr), ast.group.toRegex = Data.Expr.group 0 e