mathlib3
6858c2f7 - fix(category/fold): use correct `opposite` (#1008)

Commit

6 years ago

fix(category/fold): use correct `opposite` (#1008)

References

#1008 - fix(category/fold): use correct `opposite`

Author

rwbarton

rwbarton

Committer

mergify[bot]

mergify[bot]

Parents

Loading