File:
DocTest3/Basic.lean
Unique states:
2
Occurrences:
5
Click to place cursor. Use arrow keys to move. (Read-only)
Toggle theme
Goal state
No selection.
(click in the code pane)