Theorem manyOneEquiv_up

Modification history

2023-05-28 08:49

Mathlib/Computability/Reduce.lean

chore: rename `Ulower` to `ULower` (#4430) …

Modified manyOneEquiv_up View on Github →

2023-05-11 05:53

Mathlib/Computability/Reduce.lean

feat: port Computability.Reduce (#3862)

Added manyOneEquiv_up View on Github →