mathlib
f8f59c33 - this should fix all linter error, perhaps,probably

Commit

3 years ago

this should fix all linter error, perhaps,probably

References

#18138 - feat(proj construction)

Author

jjaassoonn

jjaassoonn

Parents

Loading