This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
Attach a file by drag & drop or click to upload
