Theorem Equiv.natSumNatEquivNat_apply

Modification history

2024-07-15 11:16
Mathlib/Logic/Equiv/Nat.lean
chore: remove bit0/bit1 and associated lemmas (#14745) …
Modified Equiv.natSumNatEquivNat_applyView on Github →
2022-12-29 11:25
Mathlib/Logic/Equiv/Nat.lean
feat: port `Logic.Equiv.Nat` (#1227) …
Added Equiv.natSumNatEquivNat_applyView on Github →