Skip to content

Update Small.lean

Update Small.lean #21

This job succeeded