Skip to content
Check whitespace

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals (#2… #760

Sign in to view logs

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals (#2…

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals (#2… #760

Triggered via push October 18, 2024 15:44
@github-merge-queuegithub-merge-queue[bot]
pushed c3c9f4f
master
Status Success
Total duration 19s
Artifacts –

whitespace.yml

on: push
check-whitespace
8s
check-whitespace
Fit to window
Zoom out
Zoom in