Theorem toNat_manyOneEquiv

Modification history

2026-10-13 14:51
Mathlib/Computability/Reduce.lean
refactor(Data): make `Set` a one-field structure (#41506) …
Modified toNat_manyOneEquivView on Github →
2023-05-11 05:53
Mathlib/Computability/Reduce.lean
feat: port Computability.Reduce (#3862)
Added toNat_manyOneEquivView on Github →