Mathlib v3 is deprecated. Go to Mathlib v4

Theorem many_one_degree.add_of

Modification history

2021-01-13 18:52

src/computability/reduce.lean

refactor(computability/reduce): define many-one degrees without parameter (#2630) …

Added many_one_degree.add_of View on Github →