Skip to content
Check whitespace

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #758

Sign in to view logs

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals

Lemmas for Positive, Negative, etc. and _+_ and _*_ for rationals #758

Triggered via pull request October 14, 2024 08:49
@TanebTaneb
synchronize #2496
rational-pos-op
Status Success
Total duration 20s
Artifacts –

whitespace.yml

on: pull_request
check-whitespace
9s
check-whitespace
Fit to window
Zoom out
Zoom in