mathlib
da8b23f9 - chore(data/opposite): two trivial lemmas (#2274)

Commit

5 years ago

chore(data/opposite): two trivial lemmas (#2274) Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

References

Author

urkud

Parents