mathlib3
d8a2bc51 - feat(algebra/opposites): opposites of operators (#538)

Commit

6 years ago

feat(algebra/opposites): opposites of operators (#538)

References

#538 - feat(algebra/opposites): opposites of operators

Author

kckennylau

kckennylau

Committer

rwbarton

rwbarton

Parents

Loading