# Documentation

Mathlib.Util.WhatsNew

Defines a command wrapper that prints the changes the command makes to the environment.

whatsnew in
theorem foo : 42 = 6 * 7 := rfl

Equations
• One or more equations did not get rendered due to their size.

whatsnew in \$command executes the command and then prints the declarations that were added to the environment.

Equations
• One or more equations did not get rendered due to their size.