mathlib
7d988694 - refactor(computability/language): unify with set_semiring

Commit

3 years ago

refactor(computability/language): unify with set_semiring

References

#18451 - refactor(computability/language): unify with set_semiring

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading