mathlib3
refactor(computability/language): unify with set_semiring
#18451
Open
Overview
Commits
5
Changes
View On GitHub

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

eric-wieser wants to merge 5 commits into master from eric-wieser/simplify-language
eric-wieser
eric-wieser chore(data/set/semiring): add an `idem_semiring` instance
319e1f8a
eric-wieser eric-wieser added awaiting-CI
eric-wieser refactor(computability/language): unify with set_semiring
7d988694
eric-wieser eric-wieser force pushed from faf1b936 to 7d988694 2 years ago
mathlib-dependent-issues-bot mathlib-dependent-issues-bot added blocked-by-other-PR
mathlib-dependent-issues-bot mathlib-dependent-issues-bot removed blocked-by-other-PR
mathlib-dependent-issues-bot
eric-wieser Merge remote-tracking branch 'origin/master' into eric-wieser/simplif…
b1397096
eric-wieser tidy
9f725bb8
eric-wieser wip
1e25812b
YaelDillies
YaelDillies approved these changes on 2023-02-28
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
awaiting-CI too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum