mathlib3

refactor(computability/language): unify with set_semiring

#18451

Open