Skip to content

Cleanup a bit Scalar.lean #284

Cleanup a bit Scalar.lean

Cleanup a bit Scalar.lean #284