Skip to content

Golf a few proofs

Golf a few proofs #63

Annotations

2 warnings

This job succeeded