Documentation

Mathlib.Lean.Message

Additional operations on MessageData and related types #