As a follow up, I'd suggest a clear separation between comments and solutions, and then possibly within types of solutions. In particular, I'd be interested in solutions via Lean4 code.
As a follow up, I'd suggest a clear separation between comments and solutions, and then possibly within types of solutions. In particular, I'd be interested in solutions via Lean4 code.