Theorem $typeName.val_injective

Modification history

2023-03-08 11:50
Mathlib/Data/UInt.lean
refactor: change defeqs of pow and zsmul on UInt, golf the ring instance (#2567) …
Added $typeName.val_injectiveView on Github →