mathlib3
b6647422 - fix many linter long line and golf many proofs

Commit

3 years ago

fix many linter long line and golf many proofs

References

#18138 - feat(proj construction)

Author

jjaassoonn

jjaassoonn

Parents

Loading