mathlib3
c1aff1b5 - style(tactic/omega): whitespace and minor tweaks

Commit

7 years ago

style(tactic/omega): whitespace and minor tweaks missed the PR review cycle

References

Author

digama0

digama0

Parents

Loading