Skip to content

Update Small.lean

Update Small.lean #21

Annotations

2 warnings

This job succeeded