mathlib
d57075d8 - changed long lines and another unused argument error

Commit

3 years ago

changed long lines and another unused argument error

References

#18138 - feat(proj construction)

Author

jjaassoonn

jjaassoonn

Parents

Loading