generated at
2/16/2025, 10:02:34 AM
Running Lean
see also
『Running Lean 第3版』