Skip to content

Update lean4/src/putnam_1989_b6.lean #305

Update lean4/src/putnam_1989_b6.lean

Update lean4/src/putnam_1989_b6.lean #305