Mathlib4 Help

This is an output of #help command in Mathlib.

This web page is automatically updated by GitHub Action.

For a detailed explanation of Lean's language features, please refer to Lean by Example (Japanese only).