mathlib
5acaeaf4 - chore(computability/language): Golf (#13039)

Commit

3 years ago

chore(computability/language): Golf (#13039) Golf the `semiring` instance using the `set.image2` API, add half missing docstring.

Author

YaelDillies

Parents