File:
ProofsWMathlib/Lean/day_2025_12_30.lean
Unique states:
94
Occurrences:
251
Click to place cursor. Use arrow keys to move. (Read-only)
Toggle theme
Goal state
No selection.
(click in the code pane)