Comment by jeff76

When you’re doing basic proofs, showing solutions are often simple enough for unconfused verification. There are often standard ways to go about proofs, solutions could provide those standard solutions with sufficient detail written out.